Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics)

Symbolic

by: Chin-Liang Chang · Richard Char-Tung Lee

Hardcover

ISBN: 978-0-12-170350-9

ISBN-10: 0-12-170350-9

Academic Press · 1973