Vai al contenuto principale della pagina

Advances in proof theory / Reinhard Kahle, Thomas Strahm, Thomas Studer editors



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Advances in proof theory / Reinhard Kahle, Thomas Strahm, Thomas Studer editors Visualizza cluster
Pubblicazione: [Basel], : Birkhäuser, : Springer, 2016
Titolo uniforme: Advances in proof theory  
Descrizione fisica: XII, 425 p. : ill. ; 24 cm
Soggetto topico: 03F50 - Metamathematics of constructive systems [MSC 2020]
03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020]
03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020]
03F05 - Cut-elimination and normal-form theorems [MSC 2020]
68V15 - Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020]
03F15 - Recursive ordinals and ordinal notations [MSC 2020]
03B20 - Subsystems of classical logic (including intuitionistic logic) [MSC 2020]
03B35 - Mechanization of proofs and logical operations [MSC 2020]
Soggetto non controllato: Constructive mathematics
Ordinal Analysis
Proof Theory
Proof search
Type theory
Persona (resp. second.): Kahle, Reinhard
Strahm, Thomas
Studer, Thomas
Titolo autorizzato: Advances in proof theory  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: VAN0114364
Lo trovi qui: Univ. Vanvitelli
Localizzazioni e accesso elettronico http://dx.doi.org/10.1007/978-3-319-29198-7
Opac: Controlla la disponibilità qui
Serie: Progress in computer science and applied logic Basel [etc.] . -Birkhäuser ; 28