APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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

Warning: These citations may not always be 100% accurate.