Metamathematics of First-Order Arithmetic

• Record Nr.: UNINA9910482881603321
• Autore: Hájek Petr
• Pubbl/distr/stampa: [Place of publication not identified], : Springer, 1998
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph