Search Results for MANTIK. - Narrowed by: 1978SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMANTIK.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091978$0025091978$0026te$003dILS$0026ps$003d300?2025-01-10T19:36:04ZLogic : the theory of formal inferenceent://SD_ILS/0/SD_ILS:7402025-01-10T19:36:04Z2025-01-10T19:36:04ZAuthor Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Preferred Shelf Number BC 108 A55 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introduction to logicent://SD_ILS/0/SD_ILS:7482025-01-10T19:36:04Z2025-01-10T19:36:04ZAuthor Suppes, Patrick Colonel, 1922-<br/>Preferred Shelf Number BC 108 S85 1957<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logical studiesent://SD_ILS/0/SD_ILS:7492025-01-10T19:36:04Z2025-01-10T19:36:04ZAuthor 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-01-10T19:36:04Z2025-01-10T19:36:04ZAuthor 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-01-10T19:36:04Z2025-01-10T19:36:04ZAuthor 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-01-10T19:36:04Z2025-01-10T19:36:04ZAuthor 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-01-10T19:36:04Z2025-01-10T19:36:04ZAuthor 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-01-10T19:36:04Z2025-01-10T19:36:04ZAuthor 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-01-10T19:36:04Z2025-01-10T19:36:04ZAuthor Schmidt, H. Arnold, 1902_<br/>Preferred Shelf Number BC 135 S343 1959-<br/>Format: Books<br/>Availability Beytepe Library~1<br/>İslam mantık tarihi ve Farabi mantığıent://SD_ILS/0/SD_ILS:851592025-01-10T19:36:04Z2025-01-10T19:36:04ZAuthor Keklik, Nihat.<br/>Preferred Shelf Number BC 34 K4 1969-70<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Cylindric algebrasent://SD_ILS/0/SD_ILS:460442025-01-10T19:36:04Z2025-01-10T19:36:04ZAuthor 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/>Mantık : lise ders kitapları.ent://SD_ILS/0/SD_ILS:7502025-01-10T19:36:04Z2025-01-10T19:36:04ZAuthor Milli Eğitim Bakanlığı.<br/>Preferred Shelf Number BC 117.T8 M62 1978<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logical grammar : with special consideration of topics in context changeent://SD_ILS/0/SD_ILS:199842025-01-10T19:36:04Z2025-01-10T19:36:04ZAuthor Ballmer, Thomas T. M.<br/>Preferred Shelf Number P 151 B3 1978<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The linguistic basis of logic translationent://SD_ILS/0/SD_ILS:201062025-01-10T19:36:04Z2025-01-10T19:36:04ZAuthor Otto, Herbert R.<br/>Preferred Shelf Number P 306 O8 1978<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Foundations of logico-linquistics : a unified theory of information, language, and logicent://SD_ILS/0/SD_ILS:201632025-01-10T19:36:04Z2025-01-10T19:36:04ZAuthor Cooper, William S.<br/>Preferred Shelf Number P 39 C68 1978<br/>Format: Books<br/>Availability Beytepe Library~1<br/>