Well-Quasi Orders in Computation, Logic, Language and Reasoning bei Mercateo günstig kaufen

Produktinformationen

Artikel-Nr.:
5667A-9783030302313

Hersteller:
Springer Verlag

Herst.-Nr.:
9783030302313

EAN/GTIN:
9783030302313

Suchbegriffe:

Philosophie-Bücher
Philosophiebücher
Philosophiebücher - englischsprachi...
philosophie bücher

A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory

Weitere Informationen:


Author:	Peter M. Schuster; Monika Seisenberger; Andreas Weiermann
Verlag:	Springer International Publishing
Sprache:	eng

... > Geisteswissenschaften, Kunst, Musik > Philosophie > Antike

Weitere Suchbegriffe: Well Quasi-order, Combinatorics, Graph Theory, Proof Theory, Descriptive Set Theory, Maximal Order Type, Ordinal Notation System, Reverse Mathematics, Graph-minor Theorem, Termination Proofs, constructive mathematics