Titolo: |
Advances in proof theory / Reinhard Kahle, Thomas Strahm, Thomas Studer editors
|
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 |
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 |