Search ResultsElektronik Kaynaklar
Arama Sonuçlarını Sınırlandır
Yazar
ProQuest (Firm)
(5)
Association for Symbolic Logic.
(4)
Benthem, Johan van, 1949-
(3)
Crossley, John N.
(3)
International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
(3)
Materyal Türü
Dil
Yayın Yılı
-
Konu
Electronic books.
(73)
Conference papers and proceedings.
(28)
Logic, Symbolic and mathematical -- Congresses.
(28)
Logique symbolique et mathématique.
(24)
Logique symbolique et mathématique -- Congrès.
(17)
Kütüphane
Lokasyon
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
74 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 Colloquium '69 : proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 için kapak resmi
      13. 
      Logic Colloquium '69 : proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
      by 
      Summer School in Logic (14th : 1969 : Manchester, England)
      ScienceDirect http://www.sciencedirect.com/science/book/9780720422610
      Format: 
      Alıntı: 
      International Union of the History and Philosophy of Science. Division of Logic, Methodology and
      The theory of models proceedings. için kapak resmi
      14. 
      The theory of models proceedings.
      by 
      International Symposium on the Theory of Models (1963 : Berkeley, Calif.)
      ScienceDirect http://www.sciencedirect.com/science/book/9780720422337
      Format: 
      Alıntı: 
      International Union of the History and Philosophy of Science. Division of Logic, Methodology and
      Handbook of logic and language için kapak resmi
      15. 
      Handbook of logic and language
      by 
      Benthem, Johan van, 1949-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444537263
      Format: 
      Alıntı: 
      Natural language processing (Computer science) -- Handbooks, manuals, etc.
      Handbook of logic and language için kapak resmi
      16. 
      Logic and automata history and perspectives için kapak resmi
      17. 
      Logic and automata history and perspectives
      by 
      Flum, Jörg.
      Click to View
      Format: 
      Alıntı: 
      Computer science -- Mathematics.
      Alan Turing his work and impact için kapak resmi
      18. 
      Alan Turing his work and impact
      by 
      Cooper, S. B. (S. Barry)
      Click to View
      Format: 
      Alıntı: 
      Computer science -- Mathematics.
      A computational logic handbook için kapak resmi
      19. 
      A computational logic handbook
      by 
      Boyer, Robert S.
      ScienceDirect http://www.sciencedirect.com/science/book/9780121229528
      Format: 
      Alıntı: 
      ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780121229528">http://www
      Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968 için kapak resmi
      20. 
      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ı: 
      ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422573">http://www
      The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein için kapak resmi
      21. 
      The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein
      by 
      Hopkins, Burt C.
      Click to View
      Format: 
      Alıntı: 
      pt. 1. Klein on Husserl's phenomenology and the history of science -- pt. 2. Husserl and Klein on
      Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California için kapak resmi
      22. 
      Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California
      by 
      Halpern, Joseph Y., 1953-
      ScienceDirect https://www.sciencedirect.com/science/book/9780934613040
      Format: 
      Alıntı: 
      ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780934613040">https://www
      Intensional and higher-order modal logic : with applications to Montague semantics için kapak resmi
      23. 
      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ı: 
      ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=03040208&volume=19
      The algebraic theory of switching circuits için kapak resmi
      24. 
      The algebraic theory of switching circuits
      by 
      Moisil, Grigore C.
      ScienceDirect http://www.sciencedirect.com/science/book/9780080101484
      Format: 
      Alıntı: 
      ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780080101484">http://www
      Eylem Seç