APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Jacobs, Bart. Categorical Logic and Type Theory. 1. ed. Amsterdam [u.a.]: Elsevier, 1999.

MLA (9th ed.) Citation

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