Metamathematics of First-Order Arithmetic
Main Author: | |
---|---|
Other Authors: | |
Format: | Other |
Published: |
Berlin
Springer
1998
|
Series: | Perspectives in Mathematical Logic
|
Subjects: | |
See on Catálogo Colectivo de las Bibliotecas Agustinianas de España: | http://catalogo.bibliotecasagustinianas.es/cgi-bin/koha/opac-detail.pl?biblionumber=362296 |