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: | Cham, : Springer, 2017 |
Titolo uniforme: | Saved from the cellar |
Descrizione fisica: | x, 351 p. : ill. ; 24 cm |
Soggetto topico: | 03-XX - Mathematical logic and foundations [MSC 2020] |
03Fxx - Proof theory and constructive mathematics [MSC 2020] | |
Soggetto non controllato: | Cut theorem |
Natural calculi | |
Paul Bernays | |
Predicate logic | |
Type theory | |
Titolo autorizzato: | Saved from the cellar ![]() |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | VAN0123396 |
Lo trovi qui: | Univ. Vanvitelli |
Localizzazioni e accesso elettronico | http://doi.org/10.1007/978-3-319-42120-9 |
Opac: | Controlla la disponibilitĂ qui |