An Introduction to Proof Theory
- 432 Seiten
- 16 Lesestunden
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.
Paolo Mancosu ist Professor für Philosophie, dessen Werk sich mit der Philosophie und Geschichte der Mathematik sowie der mathematischen Logik beschäftigt. Seine aktuelle Forschung konzentriert sich auf Neologicismus und die Philosophie mathematischer Praxis. Er erforscht die tiefgreifenden Verbindungen zwischen abstraktem Denken und seinen realen Anwendungen und offenbart den Lesern die Essenz mathematischer Prinzipien. Seine Schriften richten sich an diejenigen, die aufschlussreiche Einblicke in die Grundlagen von Logik und Mathematik suchen.

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.