APA (7th ed.) Citation

Fitting, M. (1996). First-order logic and automated theorem proving (Second edition.). Springer. https://doi.org/10.1007/978-1-4612-2360-3

Chicago Style (17th ed.) Citation

Fitting, Melvin. First-order Logic and Automated Theorem Proving. Second edition. New York ; Berlin ; Heidelberg ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Santa Clara ; Singapore ; Tokyo: Springer, 1996. https://doi.org/10.1007/978-1-4612-2360-3.

MLA (9th ed.) Citation

Fitting, Melvin. First-order Logic and Automated Theorem Proving. Second edition. Springer, 1996. https://doi.org/10.1007/978-1-4612-2360-3.