Search ResultsElektronik Kaynaklar
Arama Sonuçlarını Sınırlandır
Yazar
Materyal Türü
Dil
Yayın Yılı
-
1991
(1)
Konu
Kütüphane
Lokasyon
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
1 sonuç bulundu Arama sonuçlarına abone ol
0DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      Language in action : categories, lambdas, and dynamic logic için kapak resmi
      1. 
      Language in action : categories, lambdas, and dynamic logic
      by 
      Benthem, Johan van, 1949-
      ScienceDirect https://www.sciencedirect.com/science/book/9780444890009
      ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/130
      Format: 
      Alıntı: 
      Contents; Preface; Chapter I Introduction; 1 Two Traditions; 2 Lambda Calculus and Theory of Types; 3