APA (7th ed.) Citation

Fitting, M. (2012). First-Order Logic and Automated Theorem Proving (2nd ed.). Springer Nature.

Chicago Style (17th ed.) Citation

Fitting, Melvin. First-Order Logic and Automated Theorem Proving. 2nd ed. Netherlands: Springer Nature, 2012.

MLA (9th ed.) Citation

Fitting, Melvin. First-Order Logic and Automated Theorem Proving. 2nd ed. Springer Nature, 2012.

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