Yazar
Rautenberg, Wolfgang. author. SpringerLink (Online service)
Yer Numarası
ONLINE
Elektronik Erişim
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Hoare, C. A. R., ed. Shepherdson, J. C., ed.
Yer Numarası
QA 9 M42 1985
Format:
Durum
Beytepe Kütüphanesi~1
Kopya:
Yazar
Enderton, Herbert B.
Yer Numarası
QA 9 E54 1972
Format:
Durum
Beytepe Kütüphanesi~1
Kopya:
Yazar
DeLong, Howard, 1936-
Yer Numarası
QA 9 B37 1970
Format:
Durum
Beytepe Kütüphanesi~1
Kopya:
Yazar
Robinson, Gerson B., 1909-
Yer Numarası
QA 9 R72 1969
Format:
Durum
Beytepe Kütüphanesi~1
Kopya:
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
Kopya:
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
Kopya:
Yazar
Nidditch, P. H.
Yer Numarası
BC 135 N5 1962
Format:
Durum
Beytepe Kütüphanesi~2
Kopya:
Yazar
Rosenbloom, Paul C.
Yer Numarası
BC 135 R7236 1950
Format:
Durum
Beytepe Kütüphanesi~1
Kopya:
Yazar
Manin, Yu. I. author. SpringerLink (Online service)
Yer Numarası
ONLINE
Elektronik Erişim
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
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
Kopya:
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
Kopya: