Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(79)
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.
(100)
Mathematics.
(61)
Logic.
(30)
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ç
282 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Combinatory logic. Volume II için kapak resmi
Combinatory logic. Volume II
Yazar 
Curry, Haskell B. (Haskell Brooks), 1900-1982. Hindley, J. Roger. Seldin, J. P.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422085
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
The theory of semisets için kapak resmi
The theory of semisets
Yazar 
Vopěnka, Petr. Hájek, Petr.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422672
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
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:
28. 
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:
29. 
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:
30. 
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:
31. 
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:
32. 
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:
33. 
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:
34. 
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:
35. 
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:
36. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets