Type Theory and Formal Proof : An Introduction Geuvers, Herman Nederpelt, Rob 9781107036505 Innbundet 06.11.2014 Engelsk Produseres på bestilling
Logic Colloquium 2006 Pillay, Anand Cooper, S. Barry Vaananen, Jouko Geuvers, Herman 9780521110815 Lecture Notes in Logic Innbundet 07.09.2009 Engelsk Midlertidig utsolgt
