Image from Amazon.com
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.
Material type:
TextPublication details: Cambridge ; Cambridge University Press, 2014.Description: vii, 436 pages ; 25 cmISBN: - 9781107036505 (hbk.)
- 551.3 NED
- QA9 .N37 2014
- COM051010
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.