Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

“The book’s intended audience is advanced undergraduates and graduates in mathematics and computing … who need a practical logic for expressing and reasoning about mathematical ideas.” My reading of this excellent and demanding (in the positive sense) book confirms that modern and applicable type theory has come into its own, one could say with a vengeance. … I read this book linearly, that is, from first to last page, as a reviewer should.” (George Hacken, Computing Reviews, February 16, 2024)

“The book is a good scientific book, and it could even be used as a textbook; that being said, it will work best at colleges and universities where there exists a strong research and education community specializing in simple type theory and Alonzo Church’s approach.” (Bálint Molnár, Computing Reviews, September 19, 2023)