Categorical logic and type theory
tarafından
 
Jacobs, Bart.

Başlık
: 
Categorical logic and type theory

Yazar
: 
Jacobs, Bart.

ISBN
: 
9780444501707
 
9780080528700

Basım Bilgisi
: 
1st ed.

Yayın Bilgileri
: 
Amsterdam ; New York : Elsevier Science, c1999.

Fiziksel Tanımlama
: 
1 online resource (xviii, 760 p.) : ill.

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

Seri Başlığı
: 
Studies in logic and the foundations of mathematics ; v. 141

Konu Terimleri
: 
Type theory.
 
Categories (Mathematics)

Elektronik Erişim
: 
ScienceDirect http://www.sciencedirect.com/science/book/9780444501707


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap256535-1001ONLINEElektronik Kütüphane