2000 - Basic Proof Theory [Cambridge Tracts in Theoretical Computer Science] (Paperback) → Hardcover ISBN-13: 9780521779111 ISBN-10: 0521779111 Genres: Computers & Technology, Science & Math, Medicine, Engineering & Transportation ? 1969 - Principles of Intuitionism Lectures Presented at the Summer Conference on Intuitionism and Proof Theory at Suny at Buffalo Ny [1968 - Lecture Notes in Mathematics] (Paperback) ISBN-13: 9783540046141 ISBN-10: 3540046143 ? |