Logic and Computation Interactive Proof with Cambridge Lcf [Cambridge Tracts in Theoretical Computer Science] (Hardcover) → Paperback ISBN-13: 9780521346320 ISBN-10: 0521346320 Genres: Computers & Technology, Nonfiction, Substores ? Logic and Computation Interactive Proof with Cambridge Lcf [Cambridge Tracts in Theoretical Computer Science] (Paperback) → Hardcover ISBN-13: 9780521395601 ISBN-10: 0521395607 Genre: Computers & Technology ? |