APA (7th ed.) Citation

Fitting, M. (1996). First-Order Logic and Automated Theorem Proving (Second edition.). Springer New York.

Chicago Style (17th ed.) Citation

Fitting, Melvin. First-Order Logic and Automated Theorem Proving. Second edition. New York, NY: Springer New York, 1996.

MLA (8th ed.) Citation

Fitting, Melvin. First-Order Logic and Automated Theorem Proving. Second edition. Springer New York, 1996.

Warning: These citations may not always be 100% accurate.