Sergio Galvan — Books & Biography | Menrva Books | MenrvaBooks

Sergio Galvan

Stand Alone

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.