Number of the records: 1
Logika pro všechny ochotné myslet
- 1.
SYSNO 0362933 Title Logika pro všechny ochotné myslet Title Logic for all willing to think Author(s) Sochor, Antonín (MU-W) SAI Issue data Praha: Karolinum, 2011 Issue 1. ISBN 978-80-246-1959-0 Document Type Monografie, kniha (jako celek) Grant IAA1019401 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR) CEZ AV0Z10190503 - MU-W (2005-2011) Language cze Country CZ Keywords mathematical logic * propositional calculus * predicate calculus * completeness theorem * incompleteness theorem Permanent Link http://hdl.handle.net/11104/0199099
Number of the records: 1