Type Theory and Formal Proof : An Introduction Geuvers, Herman Nederpelt, Rob 9781107036505 Innbundet 06.11.2014 Engelsk I salg
