Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(477)
Gabbay, Dov M. author.
(4)
Löwe, Benedikt. editor.
(4)
Mostowski, Andrzej.
(4)
Schlechta, Karl. author.
(4)
Dil
Yayın Yılı
-
Konu
Logic, Symbolic and mathematical.
(317)
Computer science.
(198)
Artificial intelligence.
(157)
Mathematical logic.
(152)
Mathematics.
(133)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
644 sonuç bulundu Arama sonuçlarına abone ol
00000000000000000000000000000000000000000000DEFAULT_TR
Yazdır
1. 
Logical frameworks for truth and abstraction an axiomatic study için kapak resmi
Logical frameworks for truth and abstraction an axiomatic study
Yazar 
Cantini, Andrea.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444823069
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Logic and information flow için kapak resmi
Logic and information flow
Yazar 
Eijck, J. van (Jan) Visser, Albert.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Logic, methodology, and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 için kapak resmi
Logic, methodology, and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991
Yazar 
International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, Dag, 1946-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444893413
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 için kapak resmi
Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987
Yazar 
Logic Colloquium (1987 : Granada, Spain) Ebbinghaus, Heinz-Dieter, 1939-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444880222
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Computability, complexity, logic için kapak resmi
Computability, complexity, logic
Yazar 
Börger, E. (Egon), 1946-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444874061
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Logic-based decision support mixed integer model formulation için kapak resmi
Logic-based decision support mixed integer model formulation
Yazar 
Jeroslow, Robert G., 1942-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444871190
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 için kapak resmi
Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988
Yazar 
Logic Colloquium (1988 : Padova, Italy) Ferro, R. (Ruggero)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444874559
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985 için kapak resmi
Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
Yazar 
Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444702111
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984 için kapak resmi
Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984
Yazar 
Logic Colloquium '84 (Manchester) Paris, J. B. Wilkie, A. J. (Alex J) Wilmers, G. M.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444879998
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Ludwig Wittgenstein, Tractatus logico-philosophicus için kapak resmi
Ludwig Wittgenstein, Tractatus logico-philosophicus
Yazar 
Aruoba, Oruç.
Yer Numarası 
B3376.W563 T7319 1985
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
11. 
Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982 için kapak resmi
Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982
Yazar 
Logic Colloquium '82 (Florence) Lolli, Gabriele, 1942- Longo, G. (Giuseppe) Marcja, A. (Annalisa)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444868763
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981 için kapak resmi
Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981
Yazar 
Southeast Asian Conference on Logic (1981 : Singapore) Chong, C.-T. (Chi-Tat), 1949- Wicks, M. J. (Malcolm John), 1928-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444867063
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
13. 
Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 için kapak resmi
Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980
Yazar 
Logic Symposion (1980 : Pátrai, Greece) Metakides, George, 1945-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444864765
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic için kapak resmi
Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic
Yazar 
Logic Colloquium (1980 : Prague, Czech Republic) Dalen, D. van (Dirk), 1932- Lascar, D. (Daniel), 1942- Smiley, T. J. (Timothy John) Association for Symbolic Logic.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444864659
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
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
Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
Yazar 
International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) Cohen, L. Jonathan (Laurence Jonathan)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444854230
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981 için kapak resmi
Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981
Yazar 
Logic Colloquium (1981 : Marseille, France) Stern, Jacques, 1949- Herbrand, Jacques, 1908-1931.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444864178
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978 için kapak resmi
Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978
Yazar 
Logic Colloquium (1978 : Mons, Belgium) Boffa, Maurice. Dalen, D. van (Dirk), 1932- McAloon, Kenneth.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444853783
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Foundational studies selected works. Volume II için kapak resmi
Foundational studies selected works. Volume II
Yazar 
Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444851031
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Foundational studies selected works. Volume I için kapak resmi
Foundational studies selected works. Volume I
Yazar 
Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444851024
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977 için kapak resmi
Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977
Yazar 
Logic Colloquium (1977 : Wrocław, Poland) Macintyre, Angus. Pacholski, Leszek. Paris, J. B. (Jeff B.)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444851789
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976 için kapak resmi
Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976
Yazar 
Logic Colloquium (1976 : Oxford) Gandy, R. O. (Robin O.) Hyland, John Martin Elliott.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720406917
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Intensional and higher-order modal logic with applications to Montague semantics için kapak resmi
Intensional and higher-order modal logic with applications to Montague semantics
Yazar 
Gallin, Daniel.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444110022
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Truth, syntax and modality proceedings of the Temple University Conference on Alternative Semantics için kapak resmi
Truth, syntax and modality proceedings of the Temple University Conference on Alternative Semantics
Yazar 
Conference on Alternative Semantics (1970 : Temple University) Leblanc, Hugues, 1924- Temple University. College of Liberal Arts. Association for Symbolic Logic.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422696
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 için kapak resmi
Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
Yazar 
International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania) Suppes, Patrick, 1922- International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science. Academia Republicii Socialiste România.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104915
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
25. 
Contributions to non-standard analysis için kapak resmi
Contributions to non-standard analysis
Yazar 
Symposium on Non-standard Analysis (1970 : Oberwolfach, Germany) Luxemburg, W. A. J., 1929- Robinson, Abraham, 1918-1974, ed.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720420654
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Proceedings of the Second Scandinavian Logic Symposium için kapak resmi
Proceedings of the Second Scandinavian Logic Symposium
Yazar 
Scandinavian Logic Symposium (2nd : 1970 : University of Oslo) Fenstad, Jens Erik, ed. Association for Symbolic Logic.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422597
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Logic, automata, and algorithms için kapak resmi
Logic, automata, and algorithms
Yazar 
Aĭzerman, M. A. (Mark Aronovich), 1913-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780120463503
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Intuitionism and proof theory Proceedings of the summer conference ; Aug 1968 için kapak resmi
Intuitionism and proof theory Proceedings of the summer conference ; Aug 1968
Yazar 
Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo) Kino, A. Myhill, John, 1923-1987. Vesley, Richard Eugene, 1932-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422573
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Constructive order types için kapak resmi
Constructive order types
Yazar 
Crossley, John N.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534200
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
The collected papers of Gerhard Gentzen için kapak resmi
The collected papers of Gerhard Gentzen
Yazar 
Szabo, M. E. Gentzen, Gerhard.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534194
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Past, present and future için kapak resmi
Past, present and future
Yazar 
Prior, A. N. (Arthur N.), 1914-1969.
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198243113.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Non-standard analysis için kapak resmi
Non-standard analysis
Yazar 
Robinson, Abraham, 1918-1974.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534071
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Logic, methodology and philosophy of science proceedings of the 1960 international congress için kapak resmi
Logic, methodology and philosophy of science proceedings of the 1960 international congress
Yazar 
International Congress of Logic, Methodology, and Philosophy of Science (1960) Nagel, Ernest, 1901-1985. Suppes, Patrick, 1922- Tarski, Alfred.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780804700962
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Formal systems and recursive functions için kapak resmi
Formal systems and recursive functions
Yazar 
Crossley, John N. Dummett, Michael, 1925-2011.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534057
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
A theory of sets için kapak resmi
A theory of sets
Yazar 
Morse, Anthony P. (Anthony Perry)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780123745675
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Languages with expressions of infinite length için kapak resmi
Languages with expressions of infinite length
Yazar 
Karp, Carol, 1926-1972.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534019
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
37. 
The logical systems of Lesniewski için kapak resmi
The logical systems of Lesniewski
Yazar 
Luschei, Eugene C.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533951
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Aklın idaresi için kurallar için kapak resmi
Aklın idaresi için kurallar
Yazar 
Descartes (Descartes, René) Karasan, Mehmet.
Yer Numarası 
B1868 D445 1962
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
39. 
The axiomatic method için kapak resmi
The axiomatic method
Yazar 
Henkin, Leon. Suppes, Patrick, 1922- Tarski, Alfred.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533920
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Intuitionism an introduction için kapak resmi
Intuitionism an introduction
Yazar 
Heyting, A. (Arend), 1898-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533821
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Mathematical interpretation of formal systems için kapak resmi
Mathematical interpretation of formal systems
Yazar 
Wiskundig Genootschap (Netherlands) Skolem, Th. (Thoralf), 1887-1963.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533814
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Solvable cases of the decision problem için kapak resmi
Solvable cases of the decision problem
Yazar 
Ackermann, W. (Wilhelm), 1896-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533807
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Undecidable theories için kapak resmi
Undecidable theories
Yazar 
Tarski, Alfred. Mostowski, Andrzej. Robinson, Raphael M. (Raphael Mitchel), 1911-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533784
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel için kapak resmi
Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel
Yazar 
Mostowski, Andrzej.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533753
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: