All Products

Showing 1 to 1 of 1 Products

Symbolic Logic and Mechanical Theorem Proving

Product Type: Book

Edition: 1

First Published: 1973

eBook: 978-0-08-091728-3

Hardcover: 978-0-12-170350-9