Search Results for MANTIK. - Narrowed by: 1996 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMANTIK.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091996$0025091996$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list 2024-12-23T14:04:16Z &#304;slam mant&#305;k tarihi ve Farabi mant&#305;&#287;&#305; ent://SD_ILS/0/SD_ILS:85159 2024-12-23T14:04:16Z 2024-12-23T14:04:16Z Author&#160;Keklik, Nihat.<br/>Preferred Shelf Number&#160;BC 34 K4 1969-70<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Logic : the theory of formal inference ent://SD_ILS/0/SD_ILS:740 2024-12-23T14:04:16Z 2024-12-23T14:04:16Z Author&#160;Ambrose, Alice, 1906-&#160;Lazerowitz, Morris, ort. yaz.<br/>Preferred Shelf Number&#160;BC 108 A55 1972<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Introduction to logic ent://SD_ILS/0/SD_ILS:748 2024-12-23T14:04:16Z 2024-12-23T14:04:16Z Author&#160;Suppes, Patrick Colonel, 1922-<br/>Preferred Shelf Number&#160;BC 108 S85 1957<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Logical studies ent://SD_ILS/0/SD_ILS:749 2024-12-23T14:04:16Z 2024-12-23T14:04:16Z Author&#160;Wright, Georg Henrik von, 1916-<br/>Preferred Shelf Number&#160;BC 108 W7 1957<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Solvable cases of decision problem ent://SD_ILS/0/SD_ILS:752 2024-12-23T14:04:16Z 2024-12-23T14:04:16Z Author&#160;Ackermann, Wilhelm, 1896-<br/>Preferred Shelf Number&#160;BC 135 A3 1954<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The logical syntax of language ent://SD_ILS/0/SD_ILS:755 2024-12-23T14:04:16Z 2024-12-23T14:04:16Z Author&#160;Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number&#160;BC 135 C323 1937<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> The theory of models : proc. ent://SD_ILS/0/SD_ILS:763 2024-12-23T14:04:16Z 2024-12-23T14:04:16Z Author&#160;International Symposium on the Theory of Models (1963 : Berkeley, Calif.)&#160;Addison, John West, 1930- ed.&#160;Henkin, Leon, ed.&#160;Tarski, Alfred, ed.<br/>Preferred Shelf Number&#160;BC 135 I586 1970<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> First-order functional calculus ent://SD_ILS/0/SD_ILS:765 2024-12-23T14:04:16Z 2024-12-23T14:04:16Z Author&#160;Keene, Geoffrey Bourton.<br/>Preferred Shelf Number&#160;BC 135 K4 1966<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt G&ouml;del ent://SD_ILS/0/SD_ILS:773 2024-12-23T14:04:16Z 2024-12-23T14:04:16Z Author&#160;Mostowski, Andrzej<br/>Preferred Shelf Number&#160;BC 135 M6 1952<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Mathematische Gesetze der Logik ent://SD_ILS/0/SD_ILS:778 2024-12-23T14:04:16Z 2024-12-23T14:04:16Z Author&#160;Schmidt, H. Arnold, 1902_<br/>Preferred Shelf Number&#160;BC 135 S343 1959-<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Cylindric algebras ent://SD_ILS/0/SD_ILS:46044 2024-12-23T14:04:16Z 2024-12-23T14:04:16Z Author&#160;Henkin, Leon.&#160;Monk, J. Donald, ort. yaz.&#160;Tarski, Alfred, ort. yaz.<br/>Preferred Shelf Number&#160;QA 9 H415 1971- V.1<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Deleuze and Guattari : Arzu politikas&#305;na giri&#351; ent://SD_ILS/0/SD_ILS:103061 2024-12-23T14:04:16Z 2024-12-23T14:04:16Z Author&#160;Goodchild, Philip.&#160;&Ouml;&#287;d&uuml;l, Rahmi G., &ccedil;ev.<br/>Preferred Shelf Number&#160;B 2430.P12 O4 1996<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> For the sake of the argument : Ramsey Test conditionals, inductive inference, and nonmonotonic reasoning ent://SD_ILS/0/SD_ILS:77776 2024-12-23T14:04:16Z 2024-12-23T14:04:16Z Author&#160;Levi, Isaac, 1930-<br/>Preferred Shelf Number&#160;BC 183 L48 1996<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/>