Categorical logic and type theory
by
 
Jacobs, Bart.

Title
: 
Categorical logic and type theory

Author
: 
Jacobs, Bart.

ISBN
: 
9780444501707
 
9780080528700

Edition
: 
1st ed.

Publication Information
: 
Amsterdam ; New York : Elsevier Science, c1999.

Physical Description
: 
1 online resource (xviii, 760 p.) : ill.

Series
: 
Studies in logic and the foundations of mathematics ; v. 141

Series Title
: 
Studies in logic and the foundations of mathematics ; v. 141

Subject Term
: 
Type theory.
 
Categories (Mathematics)

Electronic Access
: 
ScienceDirect http://www.sciencedirect.com/science/book/9780444501707


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book256535-1001ONLINEElektronik Kütüphane