Vai al contenuto principale della pagina
Autore: | von Plato, Jan |
Titolo: | Saved from the cellar : Gerhard Gentzen’s shorthand notes on logic and foundations of mathematics / Jan von Plato |
Pubblicazione: | x, 351 p., : ill. ; 24 cm |
Edizione: | Cham : Springer, 2017 |
Descrizione fisica: | Pubblicazione in formato elettronico |
Soggetto topico: | 03-XX - Mathematical logic and foundations [MSC 2020] |
03Fxx - Proof theory and constructive mathematics [MSC 2020] | |
Titolo autorizzato: | Saved from the cellar |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | SUN0123396 |
Lo trovi qui: | Univ. Vanvitelli |
Localizzazioni e accesso elettronico | http://doi.org/10.1007/978-3-319-42120-9 |
Opac: | Controlla la disponibilitĂ qui |