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
Elektronik Erişim:
ScienceDirect http://www.sciencedirect.com/science/book/9780444501707Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 256535-1001 | ONLINE | Arıyor... | Arıyor... |