Compartir
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive (en Inglés)
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 (en Inglés) - Schuster, Peter M. ; Seisenberger, Monika ; Weiermann, Andreas
$ 767.088
$ 1.534.176
Ahorras: $ 767.088
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: Estados Unidos
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Lunes 05 de Agosto y el
Lunes 19 de Agosto.
Lo recibirás en cualquier lugar de Colombia entre 1 y 5 días hábiles luego del envío.
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 (en Inglés)"
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