The textbook is: Melvin C. …
The textbook is: Melvin C. Fitting: First-Order Logic and Automated Theorem Proving, 1996. Springer-Verlag, Berlin. ISBN: 0-387-94593-8. 2. ed.
Published Dec. 1, 2004 1:00 AM
- Last modified May 10, 2005 2:09 PM