Compartir
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive
Schuster, Peter M. ; Seisenberger, Monika ; Weiermann, Andreas (Autor)
·
Springer
· Tapa Blanda
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive - Schuster, Peter M. ; Seisenberger, Monika ; Weiermann, Andreas
Sin Stock
Te enviaremos un correo cuando el libro vuelva a estar disponible
Reseña del libro "Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive"
Introduces readers to a highly active branch of combinatoricsUnifies interdisciplinary areas between logic, mathematics and computer scienceHighlights relevant work by top scholars from various fields