Actions
Incoming Resources
- Abstraction and infinity, Paolo Mancosu
- The adventure of reason, interplay between philosophy of mathematics and mathematical logic, 1900-1940, Paolo Mancosu
- The philosophy of mathematical practice, Paolo Mancosu
- An introduction to proof theory, normalization, cut-elimination, and consistency proofs, Paolo Mancosu, Sergio Galvan, and Richard Zach