Number of the records: 1
Metamathematics of First-Order Arithmetic
SYS 0401861 LBL 00000nam^^22^^^^^^^^450 005 20240103181729.5 010 $a 3-540-50632-2 014 $a 85047351487 $2 SCOPUS 101 0-
$a eng 102 $a DE 200 1-
$a Metamathematics of First-Order Arithmetic 210 $a Berlin $c Springer-Verlag $d 1993 215 $a 460 s. 225 $a Perspectives in Mathematical Logic 610 1-
$a mathematical logic 700 -1
$3 cav_un_auth*0100752 $4 070 $a Hájek $b Petr $p UIVT-O $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0100699 $w Mathematical Logic and Theoretical Computer Science $4 070 $a Pudlák $b Pavel $p MU-W $T Matematický ústav AV ČR, v. v. i. 856 $u http://aleph.lib.cas.cz/F/?func=direct&doc_number=000124306&local_base=AV
Number of the records: 1