|
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. (Rob P.) [author.]
- Geuvers, Herman, 1964- [author.]
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, c2014
Availability: Items available for loan: Central Library, SUST (2)Call number: 551.3 NET, ...
|