QR kód

Vvedenije v matematičeskuju logiku /

Zobraziť ďalšie vydanie (2)

Uložené v:

Podrobná bibliografia
Hlavný autor:	Mendelson, Elliott (Autor)
Ďalší autori:	Kabakov, F. A. (Prekladateľ)
Médium:	Kniha
Jazyk:	Russian English
Vydavateľské údaje:	Moskva : Nauka, 1971
Vydanie:	[1. izd.]
Predmet:	matematická logika
On-line prístup:
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Podobné jednotky

Vvedenije v matematičeskuju logiku.
Autor: Church, Alonzo
Vydavateľské údaje: (1960)

VVEDENIJE V MATEMATIČESKUJU LOGIKU /
Autor: Mendeľson, Elliott
Vydavateľské údaje: (1984)

Vvedenije v matematičeskuju logiku /
Autor: Mendeľson, Elliott
Vydavateľské údaje: (1976)

VVEDENIJE V MATEMATIČESKUJU STATISTIKU /
Autor: Kozlov, Michail Vasiľjevič
Vydavateľské údaje: (1987)

Vvedenije v matematičeskuju ekologiju /
Autor: Petrosjan, Leon Aganezovič
Vydavateľské údaje: (1986)

Matematická logika : určeno pro posluchače přírodověd. fak. /
Autor: Dymáček, Michael, 1943-
Vydavateľské údaje: (1968)

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

Zaujímavá logika /
Autor: Bizám, György
Vydavateľské údaje: (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-
Vydavateľské údaje: (1988)

Elektronika. I. diel. Vybrané obvody číslicovej techniky /
Autor: Petrovič, Pavol
Vydavateľské údaje: (2002)

Notes on the limits to knowledge explored with Darwinian logic /
Autor: Marchetti, Cesare
Vydavateľské údaje: (1998)

Metoda GUHA /
Autor: Hájek, Petr 1955-
Vydavateľské údaje: (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.
Vydavateľské údaje: (1972)

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

Gödel 1931 : gnoseologická revoluce v matematice a exaktních vědách /
Autor: Včelař, František 1962-, a ďalší
Vydavateľské údaje: (2009)

Matematika pro zájemce o studium na vysokých školách technických /
Autor: Hyánková, Miluše
Vydavateľské údaje: (1997)

Logické systémy /
Autor: Eysselt, Miloš
Vydavateľské údaje: (1982)

Úvod do logiky. Filozofická propedeutika pre bakalárske štúdium /
Autor: Veverka, Lukáč Ján
Vydavateľské údaje: (1999)

Vvedenije v metamatematiku /
Autor: Kleene, Stephen Cole
Vydavateľské údaje: (1957)

ACM computing surveys : the survey and tutorial journal of the ACM
Vydavateľské údaje: (1971)

The evolution of type theory in logic and mathematics /
Autor: Laan, Twan Dismas Laurens
Vydavateľské údaje: (1997)

Logika pro všechny ochotné myslet /
Autor: Sochor, Antonín 1942-
Vydavateľské údaje: (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
Vydavateľské údaje: (2009)

Vvedenije v diskretnuju matematiku /
Autor: Jablonskij, Sergej Vsevolodovič
Vydavateľské údaje: (2006)

Logic colloquium '85 : Proceedings of the colloquium, Orsay, France, July 1985 /
Autor: Burdman Feferman, Anita
Vydavateľské údaje: (1987)

Cvičení z matematické analýzy /
Autor: Šiňajová, Edita
Vydavateľské údaje: (1994)

Diferenciálny počet /
Autor: Fulier, Jozef 1951-
Vydavateľské údaje: (1997)

Matematika. I. díl. Část první. Algebra a geometrie /
Autor: Nedoma, Josef
Vydavateľské údaje: (2000)

Diskrétní matematika /
Autor: Mezník, Ivan 1942-
Vydavateľské údaje: (2004)

Didaktika matematiky : jak učit matematiku zajímavě a užitečně /
Autor: Polák, Josef 1936-
Vydavateľské údaje: (2014)

ACM transactions on computational logic
Vydavateľské údaje: (2000)

Deductive databases and logic programming /
Autor: Das, Subrata Kumar
Vydavateľské údaje: (1992)

Matematika /
Autor: Huťka, Vladimír 1936-
Vydavateľské údaje: (1991)

Cvičení z matematické analýzy /
Autor: Pelantová, Edita 1959-
Vydavateľské údaje: (1998)

Teoretické základy informatiky /
Autor: Vaníček, Jiří 1937-
Vydavateľské údaje: (2007)

Matematika /
Autor: Vošický, Zdeněk 1949-
Vydavateľské údaje: (2007)

Diskrétní matematika pro užitou informatiku /
Autor: Mezník, Ivan 1942-
Vydavateľské údaje: (2009)

Klasická logika /
Autor: Štěpán, Jan
Vydavateľské údaje: (1992)

Mathematical proofs. A transition to advanced mathematics /
Autor: Chartrand, Gary
Vydavateľské údaje: (2003)