1. Proof, logic and formalization. (2005) Editors: Detlefsen, Michael Record Type: Book Extent: 1 online resource (256 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗