1. Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)
by Jacobs, B. 
Price: USD 165.00
Dealer: Abebooks, Cloudrunner LLC
Description: ISBN10: 0444501703, ISBN13: 9780444501707, [publisher: Elsevier Science] Hardcover 0 [Minneapolis, MN, U.S.A.] [Publication Year: 1999]