Paolo Mancosu es un profesor de filosofía cuyo trabajo profundiza en la filosofía y la historia de las matemáticas y la lógica matemática. Su investigación actual se centra en el neologicismo y la filosofía de la práctica matemática. Explora las profundas conexiones entre el pensamiento abstracto y sus aplicaciones en el mundo real, revelando la esencia de los principios matemáticos a los lectores. Sus escritos están dirigidos a quienes buscan exploraciones perspicaces de los fundamentos de la lógica y las matemáticas.
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.