Arama Sonuçlarını Sınırlandır
Yazar
Dil
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ç
Eylem Seç
12 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Introduction to logic için kapak resmi
Introduction to logic
Yazar 
Suppes, Patrick Colonel, 1922-
Yer Numarası 
BC 108 S85 1957
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2. 
Logic tools programming için kapak resmi
Logic tools programming
Yazar 
Pace, Philip, 1956- Pace, L., ort. yaz.
Yer Numarası 
QA 76.6 P325 1987
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
3. 
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:
4. 
Foundations of logic programming için kapak resmi
Foundations of logic programming
Yazar 
Lloyd, John Wylie, 1947-
Yer Numarası 
QA 76.6 L538 1987
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
5. 
Logic : the theory of formal inference için kapak resmi
Logic : the theory of formal inference
Yazar 
Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.
Yer Numarası 
BC 108 A55 1972
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
6. 
Studies in inductive logic and probability için kapak resmi
Studies in inductive logic and probability
Yazar 
Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.
Yer Numarası 
QA 273.4 C37 1971-
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
7. 
Logic programming and knowledge engineering için kapak resmi
Logic programming and knowledge engineering
Yazar 
Amble, Tore, 1945-
Yer Numarası 
QA 76.6 A464 1987
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
8. 
Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985 için kapak resmi
Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
Yazar 
Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444702111
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Microprocessors and programmed logic : solutions manualto even numbered problems için kapak resmi
Microprocessors and programmed logic : solutions manualto even numbered problems
Yazar 
Short, Kenneth L.
Yer Numarası 
QA 76.5 S496 1987
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
10. 
Metaphor its cognitive force and linguistic structure için kapak resmi
Metaphor its cognitive force and linguistic structure
Yazar 
Kittay, Eva Feder.
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198242468.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
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:
12. 
İslam mantık tarihi ve Farabi mantığı için kapak resmi
İslam mantık tarihi ve Farabi mantığı
Yazar 
Keklik, Nihat.
Yer Numarası 
BC 34 K4 1969-70
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya: