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
85. 
Combinatorial set theory için kapak resmi
Combinatorial set theory
Yazar 
Williams, Neil H.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720407228
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
86. 
Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 için kapak resmi
Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Yazar 
Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas) Arruda, A. I. (Ayda Ignez) Costa, Newton C. A. da. Chuaqui, R.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720407525
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
87. 
Sets and classes on the work by Paul Bernays için kapak resmi
Sets and classes on the work by Paul Bernays
Yazar 
Bernays, Paul, 1888-1977. Müller, G. H. (Gert Heinz), 1923-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422849
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
88. 
Set theory with an introduction to descriptive set theory için kapak resmi
Set theory with an introduction to descriptive set theory
Yazar 
Kuratowski, Kazimierz, 1896-1980. Mostowski, Andrzej.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720404708
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
89. 
Proof theory için kapak resmi
Proof theory
Yazar 
Takeuti, Gaisi, 1926-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104922
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
90. 
Large infinitary languages model theory için kapak resmi
Large infinitary languages model theory
Yazar 
Dickmann, M. A., 1940-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444106223
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
91. 
Generalized recursion theory Proceedings of the 1972 Oslo symposium için kapak resmi
Generalized recursion theory Proceedings of the 1972 Oslo symposium
Yazar 
Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo) Fenstad, Jens Erik. Hinman, Peter G.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444105455
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
92. 
Logic in algebraic form Three languages and theories için kapak resmi
Logic in algebraic form Three languages and theories
Yazar 
Craig, William, 1918-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104779
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
93. 
An algebraic approach to non-classical logics için kapak resmi
An algebraic approach to non-classical logics
Yazar 
Rasiowa, Helena.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422641
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
94. 
Set theory an introduction to large cardinals için kapak resmi
Set theory an introduction to large cardinals
Yazar 
Drake, F. R. (Frank Robert)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444105356
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
95. 
An algebraic approach to nonclassical logics için kapak resmi
An algebraic approach to nonclassical logics
Yazar 
Rasiowa, Helena.
Yer Numarası 
QA 10 R37 1974
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
96. 
Elementary induction on abstract structures için kapak resmi
Elementary induction on abstract structures
Yazar 
Moschovakis, Yiannis N.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444105370
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç