Search ResultsElektronik Kaynaklar
2 sonuç bulundu Arama sonuçlarına abone ol
00DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      by 
      Shapiro, Stewart, 1951-
      Format: 
      Alıntı: 
      : Intensional Mathematics and Constructive Mathematics; Chapter 2. Epistemic and Intuitionistic Arithmetic
      by 
      Blackburn, Patrick, 1959-
      Format: 
      Alıntı: 
      computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer