Fitting, M. (1996). First-Order Logic and Automated Theorem Proving (Second edition.). Springer New York.
Chicago Style (17th ed.) CitationFitting, Melvin. First-Order Logic and Automated Theorem Proving. Second edition. New York, NY: Springer New York, 1996.
MLA (8th ed.) CitationFitting, Melvin. First-Order Logic and Automated Theorem Proving. Second edition. Springer New York, 1996.
Warning: These citations may not always be 100% accurate.