Search ResultsElektronik Kaynaklar
Arama Sonuçlarını Sınırlandır
Yazar
ProQuest (Firm)
(12)
Chong, C.-T. (Chi-Tat), 1949-
(3)
Suppes, Patrick, 1922-2014.
(3)
Arai, T. (Toshiyasu)
(2)
Association for Symbolic Logic.
(2)
Materyal Türü
Dil
Yayın Yılı
-
Konu
Electronic books.
(41)
Logic, Symbolic and mathematical -- Congresses.
(41)
Conference papers and proceedings.
(26)
Logic, Symbolic and mathematical.
(26)
Logique symbolique et mathématique -- Congrès.
(13)
Kütüphane
Lokasyon
Liste görünümüne geç
Küçük resim görünümüne geç
41 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      Logic, computation, hierarchies için kapak resmi
      1. 
      Logic, computation, hierarchies
      by 
      Selivanov, Victor, honouree.
      Click to View
      Format: 
      Alıntı: 
      Logic, Symbolic and mathematical -- Congresses.
      Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011 için kapak resmi
      2. 
      Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011
      by 
      Asian Logic Conference (12th : 2011 : Wellington, N.Z.)
      Click to View
      Format: 
      Alıntı: 
      Logic, Symbolic and mathematical -- Congresses.
      Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 için kapak resmi
      3. 
      Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009
      by 
      Asian Logic Conference (11th : 2009 : Singapore)
      Click to View
      Format: 
      Alıntı: 
      Logic, Symbolic and mathematical -- Congresses.
      Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 için kapak resmi
      4. 
      Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005
      by 
      Asian Logic Conference (9th : 2005 : Novosibirsk, Russia)
      Click to View
      Format: 
      Alıntı: 
      Logic, Symbolic and mathematical -- Congresses.
      Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968 için kapak resmi
      5. 
      Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968
      by 
      Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)
      ScienceDirect http://www.sciencedirect.com/science/book/9780720422573
      Format: 
      Alıntı: 
      Logic, Symbolic and mathematical -- Congresses.
      Infinity and truth için kapak resmi
      6. 
      Infinity and truth
      by 
      Chong, C.-T. (Chi-Tat), 1949-
      Click to View
      Format: 
      Alıntı: 
      Logic, Symbolic and mathematical -- Congresses.
      Frege importance and legacy için kapak resmi
      7. 
      Frege importance and legacy
      by 
      Schirn, Matthias.
      Click to View
      Format: 
      Alıntı: 
      Logic, Symbolic and mathematical -- Congresses.
      Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 için kapak resmi
      8. 
      Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966
      by 
      Logic Colloquium (11th : 1966 : Hannover, Germany)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444534149
      Format: 
      Alıntı: 
      Logic, Symbolic and mathematical -- Congresses.
      Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 için kapak resmi
      9. 
      Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
      by 
      Logic Colloquium (10th : 1965 : University of Leicester)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444534101
      Format: 
      Alıntı: 
      Logic, Symbolic and mathematical -- Congresses.
      The axiomatic method için kapak resmi
      10. 
      The axiomatic method
      by 
      Henkin, Leon.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444533920
      Format: 
      Alıntı: 
      Logic, Symbolic and mathematical -- Congresses.
      Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 için kapak resmi
      11. 
      Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
      by 
      Asian Logic Conference (10th : 2008 : Kōbe Daigaku)
      Click to View
      Format: 
      Alıntı: 
      Logic, Symbolic and mathematical -- Congresses.
      Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 için kapak resmi
      12. 
      Go to:Search Results
      |
      Search Facets
      |
      Top of Page