Počet záznamů: 1
Logika pro všechny ochotné myslet
- 1.0362933 - MÚ 2012 RIV CZ cze B - Monografie kniha jako celek
Sochor, Antonín
Logika pro všechny ochotné myslet.
[Logic for all willing to think.]
1. - Praha: Karolinum, 2011. 363 s. ISBN 978-80-246-1959-0
Grant CEP: GA AV ČR IAA1019401
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: mathematical logic * propositional calculus * predicate calculus * completeness theorem * incompleteness theorem
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0199099
Počet záznamů: 1