Počet záznamů: 1
Logika pro všechny ochotné myslet
- 1.
SYSNO 0362933 Název Logika pro všechny ochotné myslet Překlad názvu Logic for all willing to think Tvůrce(i) Sochor, Antonín (MU-W) SAI Vyd. údaje Praha: Karolinum, 2011 Vydání 1. ISBN 978-80-246-1959-0 Druh dok. Monografie, kniha (jako celek) Grant IAA1019401 GA AV ČR - Akademie věd CEZ AV0Z10190503 - MU-W (2005-2011) Jazyk dok. cze Země vyd. CZ Klíč.slova mathematical logic * propositional calculus * predicate calculus * completeness theorem * incompleteness theorem Trvalý link http://hdl.handle.net/11104/0199099
Počet záznamů: 1