Number of the records: 1
Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction
SYS 0393022 LBL 01735^^^^^2200361^^^450 005 20240103202630.9 010 $a 978-3-319-00118-0 011 $a 1439-7382 017 70
$a 10.1007/978-3-319-00119-7 $2 DOI 100 $a 20130614d m y slo 03 ba 101 0-
$a eng $d eng 102 $a CH 200 1-
$a Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction 205 $a 1. 210 $a Heidelberg $c Springer $d 2013 215 $a 695 s. $c P $8 500 225 1-
$a Springer Monographs in Mathematics 610 0-
$a mathematical logic 610 0-
$a foundations of mathematics 610 0-
$a set-theoretical foundations 610 0-
$a incompleteness theorems 700 -1
$3 cav_un_auth*0100699 $a Pudlák $b Pavel $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $p MU-W $w Mathematical Logic and Theoretical Computer Science $4 070 $T Matematický ústav AV ČR, v. v. i. 856 $u http://link.springer.com/book/10.1007/978-3-319-00119-7/page/1
Number of the records: 1