Search - List of Books by Richard Char-Tung Lee

Total Books: 1
Symbolic Logic and Mechanical Theorem Proving
1973 - Symbolic Logic and Mechanical Theorem Proving [Computer Science Classics] (Hardcover)
ISBN-13: 9780121703509
ISBN-10: 0121703509
Genres: Computers & Technology, Science & Math, Engineering & Transportation, Substores
  ?