Tableau Systems for First Order Number Theory and Certain Higher Order Theories / Sue Toledo |
Autore | Toledo, Sue Ann |
Pubbl/distr/stampa | Berlin, : Springer, 1975 |
Descrizione fisica | 339 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C60 - Model-theoretic algebra [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] |
Soggetto non controllato |
Number theory
Predicate calculus Proof Theory Proofs |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0256655 |
Toledo, Sue Ann
![]() |
||
Berlin, : Springer, 1975 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
The Legacy of Kurt Schütte / Reinhard Kahle, Michael Rathjen editors |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | xix, 502 p. : ill. ; 24 cm |
Soggetto topico |
03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020]
03F05 - Cut-elimination and normal-form theorems [MSC 2020] 03F15 - Recursive ordinals and ordinal notations [MSC 2020] |
Soggetto non controllato |
Cut-Elimination
Hilbert´s Programme Kurt Schütte Proof Theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0249929 |
Cham, : Springer, 2020 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory / Peter M. Schuster, Monika Seisenberger, Andreas Weiermann editors |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | x, 391 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 06A05 - Total order [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] |
Soggetto non controllato |
Analytic combinatorics
Braid Groups Combinatorics Commutative algebra Computational content of classical proofs Constructive mathematics Descriptive set theory Discrete mathematics Graph theory Graph-minor Theorem Kriz's Theorem Maximal Order Type Ordinal Notation System Proof Theory Reverse Mathematics Subrecursive hierarchies Termination Proofs Theorem Proving and Verification Theory of relations Well Quasi-order |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0250035 |
Cham, : Springer, 2020 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|