Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(72)
Mostowski, Andrzej.
(7)
Tarski, Alfred.
(5)
Kuratowski, Kazimierz, 1896-1980.
(4)
Robinson, Abraham, 1918-1974.
(4)
Dil
Yayın Yılı
-
Konu
Logic, Symbolic and mathematical.
(98)
Mathematics.
(60)
Logic.
(29)
Logic, Symbolic and mathematical -- Congresses.
(21)
Computer science.
(13)
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ç
250 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
109. 
Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 için kapak resmi
Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
Yazar 
Summer School in Logic (14th : 1969 : Manchester, England) Gandy, R. O. Yates, C. Michael E. North Atlantic Treaty Organization. International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422610
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
110. 
Model theory for infinitary logic logic with countable conjunctions and finite quantifiers için kapak resmi
Model theory for infinitary logic logic with countable conjunctions and finite quantifiers
Yazar 
Keisler, H. Jerome.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422580
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
111. 
The metamathematics of algebraic systems, collected papers: 1936-1967 için kapak resmi
The metamathematics of algebraic systems, collected papers: 1936-1967
Yazar 
Malʹt͡sev, A. I. (Anatoliĭ Ivanovich), 1909-1967. Wells, Benjamin Franklin.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422665
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
112. 
Mathematical logic and foundations of set theory Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968. için kapak resmi
Mathematical logic and foundations of set theory Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.
Yazar 
International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem) Bar-Hillel, Yehoshua. Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim. International Mathematical Union. Einstein Institute of Mathematics.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422559
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
113. 
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:
114. 
Intuitionistic logic, model theory and forcing için kapak resmi
Intuitionistic logic, model theory and forcing
Yazar 
Fitting, Melvin, 1942-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534187
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
115. 
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:
116. 
Constructible sets with applications için kapak resmi
Constructible sets with applications
Yazar 
Mostowski, Andrzej.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534217
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
117. 
Set theory için kapak resmi
Set theory
Yazar 
Kuratowski, Kazimierz, 1896-1980. Mostowski, Andrzej.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534170
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
118. 
Problems in the philosophy of science için kapak resmi
Problems in the philosophy of science
Yazar 
International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre. Musgrave, Alan. Bedford College. British Society for the Philosophy of Science.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534132
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
119. 
Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966 için kapak resmi
Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966
Yazar 
Logic Colloquium (11th : 1966 : Hannover, Germany) Schmidt, H. Arnold. Schütte, K. (Kurt)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534149
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
120. 
The problem of inductive logic Proceedings of the International colloquium in the philosophy of science, London, 1965. [Volume 2] için kapak resmi
The problem of inductive logic Proceedings of the International colloquium in the philosophy of science, London, 1965. [Volume 2]
Yazar 
International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534156
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç