Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(470)
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.
(314)
Computer science.
(198)
Artificial intelligence.
(156)
Mathematical logic.
(151)
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ç
624 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
A Concise Introduction to Mathematical Logic için kapak resmi
A Concise Introduction to Mathematical Logic
Yazar 
Rautenberg, Wolfgang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-34241-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Mathematical logic and programming languages için kapak resmi
Mathematical logic and programming languages
Yazar 
Hoare, C. A. R., ed. Shepherdson, J. C., ed.
Yer Numarası 
QA 9 M42 1985
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
15. 
A mathematical introduction to logic için kapak resmi
A mathematical introduction to logic
Yazar 
Enderton, Herbert B.
Yer Numarası 
QA 9 E54 1972
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
16. 
A profile of mathematical logic için kapak resmi
A profile of mathematical logic
Yazar 
DeLong, Howard, 1936-
Yer Numarası 
QA 9 B37 1970
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
17. 
An introduction to mathematical logic için kapak resmi
An introduction to mathematical logic
Yazar 
Robinson, Gerson B., 1909-
Yer Numarası 
QA 9 R72 1969
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
18. 
Elements of mathematical logic (Model theory) için kapak resmi
Elements of mathematical logic (Model theory)
Yazar 
Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534125
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
A survey of mathematical logic için kapak resmi
A survey of mathematical logic
Yazar 
Wang, Hao, 1921-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533982
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
The development of mathematical logic için kapak resmi
The development of mathematical logic
Yazar 
Nidditch, P. H.
Yer Numarası 
BC 135 N5 1962
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
21. 
The elements of mathematical logic için kapak resmi
The elements of mathematical logic
Yazar 
Rosenbloom, Paul C.
Yer Numarası 
BC 135 R7236 1950
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
22. 
A Course in Mathematical Logic for Mathematicians için kapak resmi
A Course in Mathematical Logic for Mathematicians
Yazar 
Manin, Yu. I. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-0615-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 için kapak resmi
Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
Yazar 
Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile) Arruda, A. I. (Ayda Ignez) Chuaqui, R. Costa, Newton C. A. da.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444854025
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
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:
Eylem Seç