Number of the records: 1  

Metamathematics of First-Order Arithmetic

  1. SYS0401861
    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  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.