| Número de páginas: |
XVI, 313 p. 20 ilustraciones |
| Resumen: |
Este libro proporciona a los lectores una guía tanto para el análisis ordinal como para la teoría de la prueba. Se centra principalmente en el análisis ordinal, un tema de investigación en teoría de la prueba que se ocupa del contenido teórico ordinal de las teorías formales. Sin embargo, el libro también aborda el análisis ordinal y los materiales básicos en la teoría de la prueba de la lógica omega o de primer orden, presentando algunos resultados nuevos y nuevas pruebas de los conocidos. Destinado principalmente a estudiantes de posgrado e investigadores en matemáticas, especialmente en lógica matemática, el libro también incluye numerosos ejercicios y respuestas a ejercicios seleccionados, diseñados para ayudar a los lectores a comprender y aplicar los principales resultados y técnicas discutidos. |
Ordinal Analysis with an Introduction to Proof Theory
