Type Theory and Formal Proof: An Introduction
I will be using this book for:
Log in to remove ads

Type Theory and Formal Proof: An Introduction

by Rob Nederpelt, Herman Geuvers

Mathematics Computer Science
1 Star 2 Star 3 Star 4 Star 5 Star
0.0 out of 5 stars (0 ratings)
View on Amazon View on BAM Trade it in for cash!

Type Theory and Formal Proof: An Introduction offers a structured introduction to type theory and formal proof. Written by Rob Nederpelt and Herman Geuvers, it is intended for readers exploring mathematics, logic, computer science, and the principles underlying formal reasoning.

ISBN-13 9781107036505 ASIN 110703650X Views 46 Publisher Cambridge University Press Year 2014 Edition 1 Format Hardcover Product Group Book Pages 466 Created February 10, 2026 Updated September 09, 2026
About This Book

Type Theory and Formal Proof: An Introduction introduces the subjects named in its title for readers seeking a structured entry point.

Rob Nederpelt and Herman Geuvers present type theory alongside formal proof, connecting two closely related areas of mathematical and computational reasoning.

The book is suited to readers interested in mathematics, logic, computer science, and the foundations of formal reasoning.

Reviews

No reviews yet. Be the first to review this book!

Write a Review
I will be using this book for: