Search - List of Books by L. C. Paulson

Total Books: 2
Logic and Computation  Interactive Proof with Cambridge LCF
1990 - 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
  ?

Logic and Computation  Interactive Proof with Cambridge LCF
1987 - 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
  ?