APA (7th ed.) Citation

Fitting, M. (2013). First-order logic and automated theorem proving / Melvin Fitting (Second edition.). Springer.

Chicago Style (17th ed.) Citation

Fitting, Melvin. First-order Logic and Automated Theorem Proving / Melvin Fitting. Second edition. New York: Springer, 2013.

MLA (9th ed.) Citation

Fitting, Melvin. First-order Logic and Automated Theorem Proving / Melvin Fitting. Second edition. Springer, 2013.

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