Basket

0362933 - MÚ 2012 RIV CZ cze B - Monography
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
R&D Projects: GA AV ČR IAA1019401
Institutional research plan: CEZ:AV0Z10190503
Keywords : mathematical logic * propositional calculus * predicate calculus * completeness theorem * incompleteness theorem
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0199099