APA-Zitierstil (7. Ausg.)

Fitting, M. (1990). First-order logic and automated theorem proving (1. print.). Springer.

Chicago-Zitierstil (17. Ausg.)

Fitting, Melvin. First-order Logic and Automated Theorem Proving. 1. print. New York [u.a.]: Springer, 1990.

MLA-Zitierstil (9. Ausg.)

Fitting, Melvin. First-order Logic and Automated Theorem Proving. 1. print. Springer, 1990.