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ç
17 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
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:
2. 
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:
3. 
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:
4. 
İ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:
5. 
Logical studies için kapak resmi
Logical studies
Yazar 
Wright, Georg Henrik von, 1916-
Yer Numarası 
BC 108 W7 1957
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
6. 
Solvable cases of decision problem için kapak resmi
Solvable cases of decision problem
Yazar 
Ackermann, Wilhelm, 1896-
Yer Numarası 
BC 135 A3 1954
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
7. 
The logical syntax of language için kapak resmi
The logical syntax of language
Yazar 
Carnap, Rudolf, 1891-1970.
Yer Numarası 
BC 135 C323 1937
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
8. 
The theory of models : proc. için kapak resmi
The theory of models : proc.
Yazar 
International Symposium on the Theory of Models (1963 : Berkeley, Calif.) Addison, John West, 1930- ed. Henkin, Leon, ed. Tarski, Alfred, ed.
Yer Numarası 
BC 135 I586 1970
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
9. 
First-order functional calculus için kapak resmi
First-order functional calculus
Yazar 
Keene, Geoffrey Bourton.
Yer Numarası 
BC 135 K4 1966
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
10. 
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel için kapak resmi
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Yazar 
Mostowski, Andrzej
Yer Numarası 
BC 135 M6 1952
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
11. 
Mathematische Gesetze der Logik için kapak resmi
Mathematische Gesetze der Logik
Yazar 
Schmidt, H. Arnold, 1902_
Yer Numarası 
BC 135 S343 1959-
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
12. 
CMOS/TTL digital systems design için kapak resmi
CMOS/TTL digital systems design
Yazar 
Buchanan, James E.
Yer Numarası 
TK 7871.99.M4 B83 1990
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya: