Počet záznamů: 1
Logika pro všechny ochotné myslet
SYS 0362933 LBL 01889^^^^^2200313^^^450 005 20240103195429.3 010 $a 978-80-246-1959-0 100 $a 20110905d m y slo 03 ba 101 0-
$a cze $d cze 102 $a CZ 200 1-
$a Logika pro všechny ochotné myslet 205 $a 1. 210 $a Praha $c Karolinum $d 2011 215 $a 363 s. $8 500 541 1-
$a Logic for all willing to think $z eng 610 0-
$a mathematical logic 610 0-
$a propositional calculus 610 0-
$a predicate calculus 610 0-
$a completeness theorem 610 0-
$a incompleteness theorem 700 -1
$3 cav_un_auth*0100710 $a Sochor $b Antonín $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $p MU-W $4 070 $T Matematický ústav AV ČR, v. v. i.
Počet záznamů: 1