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ç
7 sonuç bulundu Arama sonuçlarına abone ol
0000000DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      Intensional and higher-order modal logic : with applications to Montague semantics için kapak resmi
      1. 
      Intensional and higher-order modal logic : with applications to Montague semantics
      by 
      Gallin, Daniel.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444110022
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=03040208&volume=19
      Format: 
      Alıntı: 
      Intensional and higher-order modal logic : with applications to Montague semantics / Gallin, Daniel.
      The logical systems of Lesniewski. için kapak resmi
      2. 
      Handbook of logic and language için kapak resmi
      3. 
      Intuitionistic logic, model theory and forcing. için kapak resmi
      4. 
      Intuitionistic logic, model theory and forcing.
      by 
      Fitting, Melvin, 1942-
      ScienceDirect https://www.sciencedirect.com/science/book/9780444534187
      ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/54
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=54
      Format: 
      Alıntı: 
      -- Related systems of logic -- First order intuitionistic logic semantics -- First order intuitionistic logic
      Logical frameworks for truth and abstraction : an axiomatic study için kapak resmi
      5. 
      Logical frameworks for truth and abstraction : an axiomatic study
      by 
      Cantini, Andrea.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444823069
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=135
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/135
      Format: 
      Alıntı: 
      foundations for property theory and formal semantics; (ii) these theories provide a new outlook on classical
      Language in action : categories, lambdas, and dynamic logic için kapak resmi
      6. 
      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ı: 
      calculus-oriented semantics is a convenient vehicle for generalizing semantic insights (obtained in various
      Algebraic methods of mathematical logic için kapak resmi
      7. 
      Algebraic methods of mathematical logic
      by 
      Rieger, Ladislav, 1916-1963.
      ScienceDirect http://www.sciencedirect.com/science/book/9781483231235
      Format: 
      Alıntı: 
      logic within mathematics; 1.11. Semantics and pragmatics; 1.12. Mathematical logic and logic in the