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