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.
      The mathematics of logic a guide to completeness theorems and their applications için kapak resmi
      1. 
      The mathematics of logic a guide to completeness theorems and their applications
      by 
      Kaye, Richard (Richard W.)
      Click to View
      Format: 
      Alıntı: 
      The mathematics of logic a guide to completeness theorems and their applications / Kaye, Richard
      Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 için kapak resmi
      2. 
      Logic, methodology, and philosophy of science VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 için kapak resmi
      3. 
      Logic, methodology, and philosophy of science VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983
      by 
      International Congress of Logic, Methodology, and Philosophy of Science (7th : 1983 : Salzburg, Austria)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444876560
      ScienceDirect https://www.sciencedirect.com/science/book/9780444876560
      Format: 
      Alıntı: 
      theory and its applications -- pt. 3. Recursion theory and theory of computation -- pt. 4. Axiomatic set
      Handbook of mathematical induction : theory and applications için kapak resmi
      4. 
      Handbook of mathematical induction : theory and applications
      by 
      Gunderson, David S., author.
      Click to View
      Format: 
      Alıntı: 
      standard exercises, and hundreds of application examples from nearly every area of mathematics. In the
      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ı: 
      mainstream of mathematical logic and has become much more prominent in the last twenty years. A number of
      Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979 için kapak resmi
      6.