Paolo Mancosu est un professeur de philosophie dont le travail explore la philosophie et l'histoire des mathématiques ainsi que la logique mathématique. Ses recherches actuelles se concentrent sur le néologicisme et la philosophie de la pratique mathématique. Il explore les liens profonds entre la pensée abstraite et ses applications dans le monde réel, révélant ainsi l'essence des principes mathématiques aux lecteurs. Ses écrits s'adressent à ceux qui recherchent des explorations perspicaces des fondements de la logique et des mathématiques.
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.