| 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 |
