All Departments
Departments
Dailydeals
My Orders
Help
Sell On Loot
Filter by Category
All Departments
Books
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
Brand
Cambridge UniversityPress
College Publications
Springer
Springer-Verlag New York
Filter Results
Showing 4 of 4 Results in All Departments
Relevance
A Modern Perspective on Type Theory - From its Origins until Today (Hardcover, 2004 ed.)
F. D. Kamareddine
,
T Laan
,
Rob Nederpelt
R
5,570
Add to Cart
Ships in 10 - 15 working days
A Modern Perspective on Type Theory - From its Origins until Today (Paperback, Softcover reprint of hardcover 1st ed. 2004)
F. D. Kamareddine
,
T Laan
,
Rob Nederpelt
R
3,811
Add to Cart
Ships in 10 - 15 working days
Type Theory and Formal Proof - An Introduction (Hardcover)
Rob Nederpelt
,
Herman Geuvers
R
2,055
Add to Cart
Ships in 12 - 17 working days
Logical Reasoning - A First Course (Paperback)
Fairouz Kamareddine
,
Rob Nederpelt
R
894
Add to Cart
Ships in 10 - 15 working days