Jacobs, B. (1999). Categorical logic and type theory. Elsevier.
শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতিJacobs, Bart. Categorical Logic and Type Theory. Elsevier, 1999.
M.L.A (8 ম সংস্করণ) উদ্ধৃতিJacobs, Bart. Categorical Logic and Type Theory. Elsevier, 1999.
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.