Počet záznamů: 1
Metamathematics of First-Order Arithmetic
SYS 0501039 LBL 01000a^^22220027750^450 005 20240103221519.4 010 $a 978-1-107-16841-1 014 $a 85047351487 $2 SCOPUS 017 $a 10.1017/9781316717271 $2 DOI 100 $a 20190205d m y slo 03 ba 101 $a eng 102 $a GB 200 1-
$a Metamathematics of First-Order Arithmetic 210 $a Cambridge $c Cambridge University Press $d 2017 215 $a 474 s. 225 $a Perspectives in Logic 610 $a Computer Science 610 $a Logic 610 $a Categories and Sets 610 $a Programming Languages and Applied Logic 610 $a Mathematics 700 -1
$3 cav_un_auth*0100752 $a Hájek $b Petr $p UIVT-O $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0100699 $a Pudlák $b Pavel $p MU-W $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $w Mathematical Logic and Theoretical Computer Science $y CZ $T Matematický ústav AV ČR, v. v. i.
Počet záznamů: 1