Arama Sonuçlarını Sınırlandır
Yazar
Carnap, Rudolf, 1891-1970.
(2)
Copi, Irving M.
(2)
Mates, Benson, 1919-
(2)
Ackermann, Robert John, 1933-
(1)
Ackermann, Wilhelm, 1896-
(1)
Dil
Yayın Yılı
-
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
72 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Cylindric algebras için kapak resmi
Cylindric algebras
Yazar 
Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.
Yer Numarası 
QA 9 H415 1971- V.1
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
14. 
Logic and structure için kapak resmi
Logic and structure
Yazar 
Dalen, D. van.
Yer Numarası 
QA 9 D16 2004
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
15. 
Axiomatic theory of sets and classes için kapak resmi
Axiomatic theory of sets and classes
Yazar 
Eisenberg, Murray.
Yer Numarası 
QA 248 E37 1971
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
16. 
Word and object için kapak resmi
Word and object
Yazar 
Quine, Willard Van Orman.
Yer Numarası 
B 840 Q5 1960 W
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
17. 
Kotarbinski : logic, semantics, and ontology için kapak resmi
Kotarbinski : logic, semantics, and ontology
Yazar 
Wolenski, J., ed.
Yer Numarası 
B 4691.K594 K67 1990
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
18. 
Systems of logic için kapak resmi
Systems of logic
Yazar 
Martin, Norman M.
Yer Numarası 
BC 135 M325 1989
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
19. 
CSL'88 :2nd workshop on .. duisburg, FRG, October 3-7, 1988 :proceedings /ed. by E. Börger, H. K. Büning and M. M. Richter. için kapak resmi
CSL'88 :2nd workshop on .. duisburg, FRG, October 3-7, 1988 :proceedings /ed. by E. Börger, H. K. Büning and M. M. Richter.
Yazar 
Workshop on computer science logic (2nd : 1988 : Duisburg Germany) Büning, H. K., ort. yaz. Richter, M. M., ort. yaz.
Yer Numarası 
QA 76.9.M35 W67 1988
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
20. 
Computability and logic için kapak resmi
Computability and logic
Yazar 
Boolos, George S. Jeffrey, R. C., ort. yaz.
Yer Numarası 
QA 9.59 B66 1989
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
21. 
Non-standard logics for automated reasoning için kapak resmi
Non-standard logics for automated reasoning
Yazar 
Smets, Philippe, ed. by
Yer Numarası 
QA 9.4 N65 1988
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
22. 
Temporal logic of programs için kapak resmi
Temporal logic of programs
Yazar 
Kröger, Fred, 1945-
Yer Numarası 
QA 76.6 K753 1987
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
23. 
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:
24. 
An Outline of mathematical logic : fundamental results and notions explained with all details için kapak resmi
An Outline of mathematical logic : fundamental results and notions explained with all details
Yazar 
Grzegorczyk, Andrzej.
Yer Numarası 
BC 131 G7 1974
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets