APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

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-Zitierstil (9. Ausg.)

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