We have over a million books in stock

Bookbot

Symbolic Logic and Mechanical Theorem Proving

Computer Science and Applied Mathematics

Authors

Parameters

ISBN
9780121703509

Categories

Publication

Hardcover

Condition

Book purchase

  • Mechanical damage
  • Withdrawn from library
Availability
In stock
Price
€9.95