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 [etc.]: Elsevier, 1999.

MLA (9th ed.) Citation

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

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