Search ResultsElektronik Kaynaklar
Arama Sonuçlarını Sınırlandır
Yazar
Materyal Türü
Dil
Yayın Yılı
-
Konu
Kütüphane
Lokasyon
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
6 sonuç bulundu Arama sonuçlarına abone ol
000000DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      Combinatory logic için kapak resmi
      1. 
      Combinatory logic
      by 
      Curry, Haskell B. (Haskell Brooks), 1900-1982.
      ScienceDirect https://www.sciencedirect.com/science/book/9780444533876
      ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/22
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=22
      Format: 
      Alıntı: 
      Combinatory logic / Curry, Haskell B. (Haskell Brooks), 1900-1982.
      Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics için kapak resmi
      2. 
      Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics
      by 
      Conference on Alternative Semantics (1970 : Temple University)
      ScienceDirect http://www.sciencedirect.com/science/book/9780720422696
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/68
      Format: 
      Alıntı: 
      Studies in logic and the foundations of mathematics ;
      The lambda calculus : its syntax and semantics için kapak resmi
      3. 
      The lambda calculus : its syntax and semantics
      by 
      Barendregt, H. P. (Hendrik Pieter)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444875082
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/103
      Format: 
      Alıntı: 
      Studies in logic and the foundations of mathematics ;
      Constructivism in mathematics : an introduction için kapak resmi
      4. 
      Constructivism in mathematics : an introduction
      by 
      Troelstra, A. S. (Anne Sjerp)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444703583
      Format: 
      Alıntı: 
      Studies in logic and the foundations of mathematics ;
      A transfinite type theory with type variables için kapak resmi
      5. 
      A transfinite type theory with type variables
      by 
      Andrews, P. B. (Peter Bruce), 1937-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444534026
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=37
      Format: 
      Alıntı: 
      Studies in logic and the foundations of mathematics.
      Classification theory and the number of non-isomorphic models için kapak resmi
      6.