Paolo Mancosu is a professor of philosophy whose work delves into the philosophy and history of mathematics and mathematical logic. His current research focuses on neologicism and the philosophy of mathematical practice. He explores the profound connections between abstract thought and its real-world applications, revealing the essence of mathematical principles to readers. His writings are for those seeking insightful explorations into the foundations of logic and mathematics.
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.