Search - List of Books by Anne S. Troelstra

Total Books: 2
Basic Proof Theory
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
  ?

Principles of Intuitionism Lectures presented at the Summer Conference on Intuitionism and Proof Theory  at SUNY at Buffalo NY
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
  ?