Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (8th εκδ.)

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