Vai al contenuto principale della pagina
Autore: | Cheng, Yong |
Titolo: | Incompleteness for Higher-Order Arithmetic : An Example Based on Harrington’s Principle / Yong Cheng |
Pubblicazione: | xiv, 122 p. ; 24 cm |
Edizione: | Singapore : Springer, 2019 |
Descrizione fisica: | Pubblicazione in formato elettronico |
Soggetto topico: | 03-XX - Mathematical logic and foundations [MSC 2020] |
03Cxx - Model theory [MSC 2020] | |
Titolo autorizzato: | Incompleteness for Higher-Order Arithmetic |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | SUN0127310 |
Lo trovi qui: | Univ. Vanvitelli |
Localizzazioni e accesso elettronico | http://doi.org/10.1007/978-981-13-9949-7 |
Opac: | Controlla la disponibilitĂ qui |