Vai al contenuto principale della pagina
Biblioteche
Info
Contattaci
Storico ricerche
Pubblicazioni (Istanze)
Ricerca
Avanzata
Ovunque
Titolo
Nome
Soggetto
mostra
5
10
25
50
risultati per pagina ordinati per
Rilevanza
Titolo
Autore
Anno di pubblicazione
Record Nr.
Vai a Persone/Opere
(Ritorna alla ricerca)
Gentzen’s centenary : the quest for consistency / Reinhard Kahle, Michael Rathjen editors
Info
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
Titolo:
Gentzen’s centenary : the quest for consistency / Reinhard Kahle, Michael Rathjen editors
Pubblicazione:
[Cham], : Springer, 2015
Titolo uniforme:
Gentzen’s centenary : the quest for consistency
Descrizione fisica:
X, 561 p. : ill. ; 24 cm
Soggetto topico:
03-XX - Mathematical logic and foundations [MSC 2020]
01A60 - History of mathematics in the 20th century [MSC 2020]
03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020]
03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020]
03F05 - Cut-elimination and normal-form theorems [MSC 2020]
03F15 - Recursive ordinals and ordinal notations [MSC 2020]
03F25 - Relative consistency and interpretations [MSC 2020]
03F35 - Second- and higher-order arithmetic and fragments [MSC 2020]
Soggetto non controllato:
Consistency Proof
Gentzen Formal Systems
Gentzen's Main Theorem
Ordinal Analysis
Proof Theory
Persona (resp. second.):
Kahle, Reinhard
Rathjen, Michael
Titolo autorizzato:
Gentzen’s centenary
Formato:
Materiale a stampa
Livello bibliografico
Monografia
Lingua di pubblicazione:
Inglese
Record Nr.:
VAN0113260
Lo trovi qui:
Univ. Vanvitelli
Localizzazioni e accesso elettronico
http://dx.doi.org/10.1007/978-3-319-10103-3
Opac:
Controlla la disponibilità qui