| Shelfclass_id | 4.B.3 |
| Sortkey | FITTING, MELVIN |
| Authors | Melvin Fitting |
| Title | First-Order Logic and Automated Theorem Proving |
| Publisher | Springer Pub. Co. |
| Year | c1990 |
| Languages | eng |
| Isbn | 0387972331, 3540972331 |
| Series | Texts and monographs in computer science |
| Description | (alk. paper) xiii, 242 p. ill. 24 cm |
| Record date | 20060713 |
| Location | New York |
| Keywords | Automatic theorem proving, Logic, Symbolic and mathematical |