Rob Nederpelt

Rob NederpeltRob Nederpelt was Lecturer in Logic for Computer Science until his retirement. Currently he is a guest researcher in the Faculty of Mathematics and Computer Science at Eindhoven University of Technology, The Netherlands.

4 results found
List viewGrid view
Sort By:
1.
Type Theory and Formal Proof16 % NR
No Review Yet
₹7,262
₹6,100
Binding:
Hardback
Release:
06 Nov 2014
Language:
English
Available
Ships within 4-6 Days Explain..
2.
A Modern Perspective on Type Theory37 %
Publisher: Springer
No Review Yet
₹13,800
₹8,694
Binding:
Paperback
Release:
22 Oct 2010
Language:
English
Available
Ships within 12-14 Days Explain..
3.
A Modern Perspective on Type Theory37 %
No Review Yet
₹19,108
₹12,038
Binding:
Hardback
Release:
09 Jun 2004
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Logical Reasoning29 % NR
No Review Yet
₹2,765
₹1,963
Binding:
Paperback
Release:
02 Apr 2004
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
No more records found
ASK VIDYA