Logika pro všechny ochotné myslet

Sochor Antonín



Název
Logika pro všechny ochotné myslet
Překlad názvu
Logic for all willing to think
Autor
lupa Sochor Antonín MU-W - Matematický ústav AV ČR, v. v. i.
Vyd.údaje
Praha : lupa Karolinum , 2011. - 363 s.
Vydání
1.
ISBN
978-80-246-1959-0
Druh dok.
B
Jazyk dok.
cze
Země vyd.
CZ
Klíč.slova
mathematical logic * propositional calculus * predicate calculus * completeness theorem * incompleteness theorem
Databáze
zb - Monografie kniha jako celek
Trvalý link
http://hdl.handle.net/11104/0199099