Cita APA

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

Citación estilo Chicago

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

Cita MLA

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

Precaución: Estas citas no son 100% exactas.