Arama Sonuçları MANTIK. - Daraltılmış: 1989SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dMANTIK.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025091989$0025091989$0026ic$003dtrue$0026ps$003d300?2025-02-16T22:10:01Zİslam mantık tarihi ve Farabi mantığıent://SD_ILS/0/SD_ILS:851592025-02-16T22:10:01Z2025-02-16T22:10:01ZYazar Keklik, Nihat.<br/>Yer Numarası BC 34 K4 1969-70<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to logicent://SD_ILS/0/SD_ILS:7482025-02-16T22:10:01Z2025-02-16T22:10:01ZYazar Suppes, Patrick Colonel, 1922-<br/>Yer Numarası BC 108 S85 1957<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Solvable cases of decision problement://SD_ILS/0/SD_ILS:7522025-02-16T22:10:01Z2025-02-16T22:10:01ZYazar Ackermann, Wilhelm, 1896-<br/>Yer Numarası BC 135 A3 1954<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Cylindric algebrasent://SD_ILS/0/SD_ILS:460442025-02-16T22:10:01Z2025-02-16T22:10:01ZYazar Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.<br/>Yer Numarası QA 9 H415 1971- V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic : the theory of formal inferenceent://SD_ILS/0/SD_ILS:7402025-02-16T22:10:01Z2025-02-16T22:10:01ZYazar Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Yer Numarası BC 108 A55 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logical studiesent://SD_ILS/0/SD_ILS:7492025-02-16T22:10:01Z2025-02-16T22:10:01ZYazar Wright, Georg Henrik von, 1916-<br/>Yer Numarası BC 108 W7 1957<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The logical syntax of languageent://SD_ILS/0/SD_ILS:7552025-02-16T22:10:01Z2025-02-16T22:10:01ZYazar Carnap, Rudolf, 1891-1970.<br/>Yer Numarası BC 135 C323 1937<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>The theory of models : proc.ent://SD_ILS/0/SD_ILS:7632025-02-16T22:10:01Z2025-02-16T22:10:01ZYazar International Symposium on the Theory of Models (1963 : Berkeley, Calif.) Addison, John West, 1930- ed. Henkin, Leon, ed. Tarski, Alfred, ed.<br/>Yer Numarası BC 135 I586 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>First-order functional calculusent://SD_ILS/0/SD_ILS:7652025-02-16T22:10:01Z2025-02-16T22:10:01ZYazar Keene, Geoffrey Bourton.<br/>Yer Numarası BC 135 K4 1966<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödelent://SD_ILS/0/SD_ILS:7732025-02-16T22:10:01Z2025-02-16T22:10:01ZYazar Mostowski, Andrzej<br/>Yer Numarası BC 135 M6 1952<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mathematische Gesetze der Logikent://SD_ILS/0/SD_ILS:7782025-02-16T22:10:01Z2025-02-16T22:10:01ZYazar Schmidt, H. Arnold, 1902_<br/>Yer Numarası BC 135 S343 1959-<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Systems of logicent://SD_ILS/0/SD_ILS:7692025-02-16T22:10:01Z2025-02-16T22:10:01ZYazar Martin, Norman M.<br/>Yer Numarası BC 135 M325 1989<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Foundations of illocutionary logicent://SD_ILS/0/SD_ILS:202742025-02-16T22:10:01Z2025-02-16T22:10:01ZYazar Searle, John R.<br/>Yer Numarası P 95.55 S42 1985<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>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.ent://SD_ILS/0/SD_ILS:690402025-02-16T22:10:01Z2025-02-16T22:10:01ZYazar Workshop on computer science logic (2nd : 1988 : Duisburg Germany) Büning, H. K., ort. yaz. Richter, M. M., ort. yaz.<br/>Yer Numarası QA 76.9.M35 W67 1988<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Computability and logicent://SD_ILS/0/SD_ILS:717942025-02-16T22:10:01Z2025-02-16T22:10:01ZYazar Boolos, George S. Jeffrey, R. C., ort. yaz.<br/>Yer Numarası QA 9.59 B66 1989<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mantık terimleri sözlüğüent://SD_ILS/0/SD_ILS:712392025-02-16T22:10:01Z2025-02-16T22:10:01ZYazar Grünberg, Teo. Onat, A., ort. yaz.<br/>Yer Numarası REF/BC 9 G924 1989<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>