Your search returned 2 results.

Results
	1.	Type theory and formal proof :an introduction Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands. by Nederpelt, R. P [author.] Geuvers, Herman [author.] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge: Cambridge University Press; Availability: Items available for loan: Goa University Library (1)Call number: 501 NED-GEU. Add to cart (remove)
	2.	Type theory and formal proof :an introduction Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands. by Nederpelt, R. P [author.] Geuvers, Herman [author.] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge: Cambridge University Press; 2014 Availability: Items available for loan: Goa University Library (1)Call number: 511.3 NED-GEU. Add to cart (remove)

Refine your search