کتاب های Paolo Mancosu
Visualization, Explanation and Reasoning Styles in Mathematics
Paolo Mancosu, 2005
Abstraction and Infinity
Paolo Mancosu, 2017
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Paolo Mancosu, Sergio Galvan, Richard Zach, 2021
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Paolo Mancosu, Sergio Galvan, Richard Zach, 2021
