Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Hájek, Petr
|
| Titolo: |
Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák
|
| Pubblicazione: | Berlin, : Springer, 1998 |
| Edizione: | Second printing |
| Descrizione fisica: | XIV, 460 p. ; 24 cm. |
| Soggetto topico: | 03D15 - Complexity of computation [MSC 2020] |
| 11U09 - Model theory (number-theoretic aspects) [MSC 2020] | |
| 03F30 - First-order arithmetic and fragments [MSC 2020] | |
| 03H15 - Nonstandard models of arithmetic [MSC 2020] | |
| 11U10 - Nonstandard arithmetic (number-theoretic aspects) [MSC 2020] | |
| Altri autori: |
Pudlák, Pavel
|
| Titolo autorizzato: | Metamathematics of first-order arithmetic |
| ISBN: | 35-406-3648-X |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | SUN0052028 |
| Lo trovi qui: | Univ. Vanvitelli |
| Opac: | Controlla la disponibilità qui |
Serie:
Perspectives in mathematical logic Berlin . -Springer , 1987-1997.