APA-Zitierstil (7. Ausg.)

Jacobs, B. (1999). Categorical logic and type theory. Elsevier Science.

Chicago-Zitierstil (17. Ausg.)

Jacobs, Bart. Categorical Logic and Type Theory. Amsterdam: Elsevier Science, 1999.

MLA-Zitierstil (9. Ausg.)

Jacobs, Bart. Categorical Logic and Type Theory. Elsevier Science, 1999.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.