2. First-Order Logic and Automated Theorem Proving - (Texts in Computer Science) 2nd Edition by Melvin Fitting (Paperback)
3. Similar Products

For First-Order Logic and Automated Theorem Proving - (Texts in Computer Science) 2nd Edition by Melvin Fitting (Paperback)

First-Order Logic and Automated Theorem Proving - (Texts in Computer Science) 2nd Edition by Melvin Fitting (Paperback)-