The Clausal Theory of Types [Cambridge Tracts in Theoretical Computer Science] (Paperback) → Hardcover ISBN-13: 9780521117906 ISBN-10: 0521117909 Genre: Computers & Technology ? The Clausal Theory of Types [Cambridge Tracts in Theoretical Computer Science] (Hardcover) → Paperback ISBN-13: 9780521395380 ISBN-10: 0521395380 Genres: Computers & Technology, Substores ? |