Search Results for MANTIK. - Narrowed by: 1973SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMANTIK.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091973$0025091973$0026ps$003d300$0026isd$003dtrue?dt=list2025-03-17T12:53:41Zİslam mantık tarihi ve Farabi mantığıent://SD_ILS/0/SD_ILS:851592025-03-17T12:53:41Z2025-03-17T12:53:41ZAuthor Keklik, Nihat.<br/>Preferred Shelf Number BC 34 K4 1969-70<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logic : the theory of formal inferenceent://SD_ILS/0/SD_ILS:7402025-03-17T12:53:41Z2025-03-17T12:53:41ZAuthor Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Preferred Shelf Number BC 108 A55 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logical studiesent://SD_ILS/0/SD_ILS:7492025-03-17T12:53:41Z2025-03-17T12:53:41ZAuthor Wright, Georg Henrik von, 1916-<br/>Preferred Shelf Number BC 108 W7 1957<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Solvable cases of decision problement://SD_ILS/0/SD_ILS:7522025-03-17T12:53:41Z2025-03-17T12:53:41ZAuthor Ackermann, Wilhelm, 1896-<br/>Preferred Shelf Number BC 135 A3 1954<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The logical syntax of languageent://SD_ILS/0/SD_ILS:7552025-03-17T12:53:41Z2025-03-17T12:53:41ZAuthor Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number BC 135 C323 1937<br/>Format: Books<br/>Availability Beytepe Library~2<br/>The theory of models : proc.ent://SD_ILS/0/SD_ILS:7632025-03-17T12:53:41Z2025-03-17T12:53:41ZAuthor International Symposium on the Theory of Models (1963 : Berkeley, Calif.) Addison, John West, 1930- ed. Henkin, Leon, ed. Tarski, Alfred, ed.<br/>Preferred Shelf Number BC 135 I586 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>First-order functional calculusent://SD_ILS/0/SD_ILS:7652025-03-17T12:53:41Z2025-03-17T12:53:41ZAuthor Keene, Geoffrey Bourton.<br/>Preferred Shelf Number BC 135 K4 1966<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödelent://SD_ILS/0/SD_ILS:7732025-03-17T12:53:41Z2025-03-17T12:53:41ZAuthor Mostowski, Andrzej<br/>Preferred Shelf Number BC 135 M6 1952<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Mathematische Gesetze der Logikent://SD_ILS/0/SD_ILS:7782025-03-17T12:53:41Z2025-03-17T12:53:41ZAuthor Schmidt, H. Arnold, 1902_<br/>Preferred Shelf Number BC 135 S343 1959-<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introduction to logicent://SD_ILS/0/SD_ILS:7482025-03-17T12:53:41Z2025-03-17T12:53:41ZAuthor Suppes, Patrick Colonel, 1922-<br/>Preferred Shelf Number BC 108 S85 1957<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Cylindric algebrasent://SD_ILS/0/SD_ILS:460442025-03-17T12:53:41Z2025-03-17T12:53:41ZAuthor Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.<br/>Preferred Shelf Number QA 9 H415 1971- V.1<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Time and necessity : studies in Aristotle's theory of modalityent://SD_ILS/0/SD_ILS:4922025-03-17T12:53:41Z2025-03-17T12:53:41ZAuthor Hintikka, Kaarlo Jaakko Juhani, 1929-<br/>Preferred Shelf Number B 491.T5 H56 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logic : the study of deductive reasoningent://SD_ILS/0/SD_ILS:7392025-03-17T12:53:41Z2025-03-17T12:53:41ZAuthor Yıldırım, Cemal.<br/>Preferred Shelf Number BC 71 Y51 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Symbolic logicent://SD_ILS/0/SD_ILS:7562025-03-17T12:53:41Z2025-03-17T12:53:41ZAuthor Copi, Irving M.<br/>Preferred Shelf Number BC 135 C58 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Ontology and the vicious-circle principleent://SD_ILS/0/SD_ILS:7962025-03-17T12:53:41Z2025-03-17T12:53:41ZAuthor Chihara, Charles S., 1932-<br/>Preferred Shelf Number BC 199.V5 C48 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Deductive logic : an introduction to evaluation techniques and logical theoryent://SD_ILS/0/SD_ILS:8082025-03-17T12:53:41Z2025-03-17T12:53:41ZAuthor Clarke, David S., 1936-<br/>Preferred Shelf Number BC 71 C53 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Experience and judgment : investigations in a genealogy of logicent://SD_ILS/0/SD_ILS:689532025-03-17T12:53:41Z2025-03-17T12:53:41ZAuthor Husserl, Edmund, 1859-1938.<br/>Preferred Shelf Number BC 181 H8 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Fact, fiction, and forecastent://SD_ILS/0/SD_ILS:8152025-03-17T12:53:41Z2025-03-17T12:53:41ZAuthor Goodman, Nelson.<br/>Preferred Shelf Number BC 91 G66 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A System of logic ratiocinative and inductive : being a connected view of the principles of evidence and the methods of scientific investigationent://SD_ILS/0/SD_ILS:8172025-03-17T12:53:41Z2025-03-17T12:53:41ZAuthor Mill, John Stuart, 1806-1873. Robson, J. M., ed.<br/>Preferred Shelf Number BC 91 M5 1973-74 C.1-2 V.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Thoughtent://SD_ILS/0/SD_ILS:8412025-03-17T12:53:41Z2025-03-17T12:53:41ZAuthor Harman, Gilbert.<br/>Preferred Shelf Number BD 161 H28 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Symbolic logic and mechanical theorem provingent://SD_ILS/0/SD_ILS:460402025-03-17T12:53:41Z2025-03-17T12:53:41ZAuthor Chang, Chin-Liang, 1937- Lee, R. C., ed.<br/>Preferred Shelf Number QA 9 C49 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>