QR kód

Vvedenije v matematičeskuju logiku. Tom 1 /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Church, Alonzo (Autor)
Další autoři:	Černjavskij, V. S. (Překladatel), Uspenskij, V. A. (Editor)
Médium:	Kniha
Jazyk:	ruština angličtina
Vydáno:	Moskva : Izdateľstvo inostrannoj literatury, 1960
Vydání:	[1. izd.]
Témata:	matematická logika
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Vvedenije v matematičeskuju logiku /
Autor: Mendelson, Elliott
Vydáno: (1971)

VVEDENIJE V MATEMATIČESKUJU LOGIKU /
Autor: Mendeľson, Elliott
Vydáno: (1984)

Vvedenije v matematičeskuju logiku /
Autor: Mendeľson, Elliott
Vydáno: (1976)

VVEDENIJE V MATEMATIČESKUJU STATISTIKU /
Autor: Kozlov, Michail Vasiľjevič
Vydáno: (1987)

Vvedenije v matematičeskuju ekologiju /
Autor: Petrosjan, Leon Aganezovič
Vydáno: (1986)

Matematická logika : určeno pro posluchače přírodověd. fak. /
Autor: Dymáček, Michael, 1943-
Vydáno: (1968)

Světonázorové problémy v matematice. 1. díl : Matematická logika a formální teorie, ... /
Autor: Drábek, Jaroslav
Vydáno: (1986)

Zaujímavá logika /
Autor: Bizám, György
Vydáno: (1982)

Algebra pravdivostných hodnôt výrobkov pre 4. ročník gymnázia s triedami zameranými na matematiku /
Autor: Odvárko, Oldřich 1938-
Vydáno: (1988)

Elektronika. I. diel. Vybrané obvody číslicovej techniky /
Autor: Petrovič, Pavol
Vydáno: (2002)

Notes on the limits to knowledge explored with Darwinian logic /
Autor: Marchetti, Cesare
Vydáno: (1998)

Metoda GUHA /
Autor: Hájek, Petr 1955-
Vydáno: (1977)

Zeitschrift für mathematische Logik u. Grundlagen der Mathematik

Issledovanija po matematičeskoj lingvistike, matematičeskoj logike i informacionnym jazykam /
Autor: Smockij, E. D.
Vydáno: (1972)

Sbírka úloh z elementární aritmetiky s pokyny k řešení /
Autor: Bělík, Miroslav
Vydáno: (1990)

Gödel 1931 : gnoseologická revoluce v matematice a exaktních vědách /
Autor: Včelař, František 1962-, a další
Vydáno: (2009)

Matematika pro zájemce o studium na vysokých školách technických /
Autor: Hyánková, Miluše
Vydáno: (1997)

Logické systémy /
Autor: Eysselt, Miloš
Vydáno: (1982)

Úvod do logiky. Filozofická propedeutika pre bakalárske štúdium /
Autor: Veverka, Lukáč Ján
Vydáno: (1999)

Vvedenije v metamatematiku /
Autor: Kleene, Stephen Cole
Vydáno: (1957)

ACM computing surveys : the survey and tutorial journal of the ACM
Vydáno: (1971)

The evolution of type theory in logic and mathematics /
Autor: Laan, Twan Dismas Laurens
Vydáno: (1997)

Logika pro všechny ochotné myslet /
Autor: Sochor, Antonín 1942-
Vydáno: (2011)

Matematické, fyzikálne a chemické tabuľky : pre SŠ a nižšie ročníky viacročných gymnázií /
Autor: Kotlík, Bohumír
Vydáno: (2009)

Vvedenije v diskretnuju matematiku /
Autor: Jablonskij, Sergej Vsevolodovič
Vydáno: (2006)

Logic colloquium '85 : Proceedings of the colloquium, Orsay, France, July 1985 /
Autor: Burdman Feferman, Anita
Vydáno: (1987)

Cvičení z matematické analýzy /
Autor: Šiňajová, Edita
Vydáno: (1994)

Diferenciálny počet /
Autor: Fulier, Jozef 1951-
Vydáno: (1997)

Matematika. I. díl. Část první. Algebra a geometrie /
Autor: Nedoma, Josef
Vydáno: (2000)

Diskrétní matematika /
Autor: Mezník, Ivan 1942-
Vydáno: (2004)

Didaktika matematiky : jak učit matematiku zajímavě a užitečně /
Autor: Polák, Josef 1936-
Vydáno: (2014)

ACM transactions on computational logic
Vydáno: (2000)

Deductive databases and logic programming /
Autor: Das, Subrata Kumar
Vydáno: (1992)

Matematika /
Autor: Huťka, Vladimír 1936-
Vydáno: (1991)

Cvičení z matematické analýzy /
Autor: Pelantová, Edita 1959-
Vydáno: (1998)

Teoretické základy informatiky /
Autor: Vaníček, Jiří 1937-
Vydáno: (2007)

Matematika /
Autor: Vošický, Zdeněk 1949-
Vydáno: (2007)

Diskrétní matematika pro užitou informatiku /
Autor: Mezník, Ivan 1942-
Vydáno: (2009)

Klasická logika /
Autor: Štěpán, Jan
Vydáno: (1992)

Mathematical proofs. A transition to advanced mathematics /
Autor: Chartrand, Gary
Vydáno: (2003)