Type Theory and Formal Proof
Hardback
Published 11 Jun 2014
Save $4.65
- RRP $91.59
- $86.94
Search for "R P Nederpelt"
4 results
-
$4.65off
-
A Modern Perspective on Type Th...
Hardback
Published 09 Jun 2004- $222.31
-
Logical Reasoning
Paperback
Published 02 Apr 2004- $26.78
-
Selected Papers on Automath
Book
Published 31 Oct 1994