Applied Proof Theory: Proof Interpretations and their Use in Mathematics

Descubre cómo las interpretaciones de pruebas transforman la práctica matemática, ofreciendo herramientas lógicas avanzadas que revelan estructuras profundas y optimizan algoritmos complejos.

Compartir: