Clicky

Type Theory and Formal Proof by Rob Nederpelt and similar books you'll love - Bookscovery

Home > Authors > Rob Nederpelt > Type Theory and Formal Proof

Buy at: Bookshop.org Amazon

Type Theory and Formal Proof

Rob Nederpelt, Herman Geuvers

Recent activity

Rate this book to see your activity here.

3 Books Similar to Type Theory and Formal Proof by Rob Nederpelt

Bookscovery readers who liked Type Theory and Formal Proof also like Modern Perspective on Type Theory, Intelligent Computer Mathematics and Interactive Theorem Proving. How many of these have you read?

Modern Perspective on Type Theory by F. D. Kamareddine

Cover of Modern Perspective on Type Theory
Buy this book at:
Bookshop.org Amazon

Intelligent Computer Mathematics by Herman Geuvers

Cover of Intelligent Computer Mathematics
Buy this book at:
Bookshop.org Amazon

Interactive Theorem Proving by Marko Van Eekelen

Cover of Interactive Theorem Proving
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Type Theory and Formal Proof

Please sign in to leave a comment