Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(48)
Gabbay, Dov M. author.
(4)
Schlechta, Karl. author.
(4)
Carnielli, Walter. author.
(2)
Gupta, Amitabha. editor.
(2)
Dil
Yayın Yılı
-
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
50 sonuç bulundu Arama sonuçlarına abone ol
00DEFAULT_TR
Yazdır
49. 
A Modern Perspective on Type Theory From its Origins until Today için kapak resmi
A Modern Perspective on Type Theory From its Origins until Today
Yazar 
Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-2335-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Sembolik mantık el kitabı için kapak resmi
Sembolik mantık el kitabı
Yazar 
Grünberg, Teo.
Yer Numarası 
BC 135 G969 2000 V.2
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
Eylem Seç