Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
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
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03Exx - Set theory [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] 06A05 - Total order [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-VAN00250035 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||