Arama Sonuçları MANTIK. - Daraltılmış: 1971SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dMANTIK.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025091971$0025091971$0026ps$003d300$0026isd$003dtrue?dt=list2024-11-22T18:33:45ZIntroduction to logicent://SD_ILS/0/SD_ILS:7482024-11-22T18:33:45Z2024-11-22T18:33:45ZYazar Suppes, Patrick Colonel, 1922-<br/>Yer Numarası BC 108 S85 1957<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logical studiesent://SD_ILS/0/SD_ILS:7492024-11-22T18:33:45Z2024-11-22T18:33:45ZYazar Wright, Georg Henrik von, 1916-<br/>Yer Numarası BC 108 W7 1957<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Solvable cases of decision problement://SD_ILS/0/SD_ILS:7522024-11-22T18:33:45Z2024-11-22T18:33:45ZYazar Ackermann, Wilhelm, 1896-<br/>Yer Numarası BC 135 A3 1954<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The logical syntax of languageent://SD_ILS/0/SD_ILS:7552024-11-22T18:33:45Z2024-11-22T18:33:45ZYazar 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:7632024-11-22T18:33:45Z2024-11-22T18:33:45ZYazar 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:7652024-11-22T18:33:45Z2024-11-22T18:33:45ZYazar 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:7732024-11-22T18:33:45Z2024-11-22T18:33:45ZYazar 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:7782024-11-22T18:33:45Z2024-11-22T18:33:45ZYazar Schmidt, H. Arnold, 1902_<br/>Yer Numarası BC 135 S343 1959-<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>İslam mantık tarihi ve Farabi mantığıent://SD_ILS/0/SD_ILS:851592024-11-22T18:33:45Z2024-11-22T18:33:45ZYazar Keklik, Nihat.<br/>Yer Numarası BC 34 K4 1969-70<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Cylindric algebrasent://SD_ILS/0/SD_ILS:460442024-11-22T18:33:45Z2024-11-22T18:33:45ZYazar 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/>Axiomatic theory of sets and classesent://SD_ILS/0/SD_ILS:553822024-11-22T18:33:45Z2024-11-22T18:33:45ZYazar Eisenberg, Murray.<br/>Yer Numarası QA 248 E37 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The Idea of principle in Leibnitz and the evolution of deductive theoryent://SD_ILS/0/SD_ILS:4752024-11-22T18:33:45Z2024-11-22T18:33:45ZYazar Ortega y Gasset, Jose, 1883-1955.<br/>Yer Numarası B 4568.O7 E513 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logical writingsent://SD_ILS/0/SD_ILS:7602024-11-22T18:33:45Z2024-11-22T18:33:45ZYazar Herbrand, Jacques, 1908-1931. Van Heijenoort, Jean, ed.<br/>Yer Numarası BC 135 H3813 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Symbolic logicent://SD_ILS/0/SD_ILS:7792024-11-22T18:33:45Z2024-11-22T18:33:45ZYazar Venn, John, 1834-1923.<br/>Yer Numarası BC 135 V4 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Prototractatus : an early version of tractatus logico-philosophicusent://SD_ILS/0/SD_ILS:7812024-11-22T18:33:45Z2024-11-22T18:33:45ZYazar Wittgenstein, Ludwig, 1889-1951. McGuinness, B. F., ed. Nyberg, T., ed. Wright, G. H. von, ed.<br/>Yer Numarası BC 135 W5 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Deontic logic : introductory and systematic readingsent://SD_ILS/0/SD_ILS:7882024-11-22T18:33:45Z2024-11-22T18:33:45ZYazar Hilpinen, Risto.<br/>Yer Numarası BC 145 H53 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic, language, and metaphysicsent://SD_ILS/0/SD_ILS:8032024-11-22T18:33:45Z2024-11-22T18:33:45ZYazar Martin, Richard Milton.<br/>Yer Numarası BC 51 M37 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic for philosophersent://SD_ILS/0/SD_ILS:8102024-11-22T18:33:45Z2024-11-22T18:33:45ZYazar Purtill, Richard L., 1931-<br/>Yer Numarası BC 71 P86 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Eighteenth-century British logic and rhetoricent://SD_ILS/0/SD_ILS:745672024-11-22T18:33:45Z2024-11-22T18:33:45ZYazar Howell, Wilbur Samuel, 1904-<br/>Yer Numarası BC 38 H59 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic, automata, and algorithmsent://SD_ILS/0/SD_ILS:336472024-11-22T18:33:45Z2024-11-22T18:33:45ZYazar Aiserman, Mark A.<br/>Yer Numarası QA 267.5.S4 L613 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Sets and logicent://SD_ILS/0/SD_ILS:553712024-11-22T18:33:45Z2024-11-22T18:33:45ZYazar Hanna, Samuel C. Saber, John C., ort. yaz.<br/>Yer Numarası QA 248 H29 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Schriften zur logik und sprach-philosophie Aus dem Nachlass : Mit einleitung,Anmerkungen, Bibliographie und Registerent://SD_ILS/0/SD_ILS:3932024-11-22T18:33:45Z2024-11-22T18:33:45ZYazar Frege, Gottlob, 1848-1925.<br/>Yer Numarası B 3245.F2 S69 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Recursive function theory and logicent://SD_ILS/0/SD_ILS:26022024-11-22T18:33:45Z2024-11-22T18:33:45ZYazar Yasuhara, Ann.<br/>Yer Numarası QA 248.5 Y36 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>