Παραπομπή APA

Jacobs, B. (2001). Categorical logic and type theory. Amsterdam: Elsevier Science.

Παραπομπή Chicago Style

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

Παραπομπή MLA

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

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.