Search Results for MANTIK. - Narrowed by: 1972 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMANTIK.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091972$0025091972$0026ic$003dtrue$0026ps$003d300?dt=list 2024-11-24T04:52:04Z First-order functional calculus ent://SD_ILS/0/SD_ILS:765 2024-11-24T04:52:04Z 2024-11-24T04:52:04Z 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-11-24T04:52:04Z 2024-11-24T04:52:04Z Author&#160;Mostowski, Andrzej<br/>Preferred Shelf Number&#160;BC 135 M6 1952<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Cylindric algebras ent://SD_ILS/0/SD_ILS:46044 2024-11-24T04:52:04Z 2024-11-24T04:52:04Z 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/> &#304;slam mant&#305;k tarihi ve Farabi mant&#305;&#287;&#305; ent://SD_ILS/0/SD_ILS:85159 2024-11-24T04:52:04Z 2024-11-24T04:52:04Z 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-11-24T04:52:04Z 2024-11-24T04:52:04Z 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-11-24T04:52:04Z 2024-11-24T04:52:04Z 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-11-24T04:52:04Z 2024-11-24T04:52:04Z 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-11-24T04:52:04Z 2024-11-24T04:52:04Z 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-11-24T04:52:04Z 2024-11-24T04:52:04Z 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-11-24T04:52:04Z 2024-11-24T04:52:04Z 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/> Mathematische Gesetze der Logik ent://SD_ILS/0/SD_ILS:778 2024-11-24T04:52:04Z 2024-11-24T04:52:04Z 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/> Bilgi teorisi ve mant&#305;k ent://SD_ILS/0/SD_ILS:83165 2024-11-24T04:52:04Z 2024-11-24T04:52:04Z Author&#160;Von Aster, Ernst.&#160;G&ouml;kberk, Macit, &ccedil;ev.<br/>Preferred Shelf Number&#160;BD 161 V89 1972<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Meaning and existence in mathematics ent://SD_ILS/0/SD_ILS:46039 2024-11-24T04:52:04Z 2024-11-24T04:52:04Z Author&#160;Castonguay, Charles.<br/>Preferred Shelf Number&#160;QA 9 C344 1972<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> A mathematical introduction to logic ent://SD_ILS/0/SD_ILS:46041 2024-11-24T04:52:04Z 2024-11-24T04:52:04Z Author&#160;Enderton, Herbert B.<br/>Preferred Shelf Number&#160;QA 9 E54 1972<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Probabilities, problems, and paradoxes : readings in inductive logic ent://SD_ILS/0/SD_ILS:69772 2024-11-24T04:52:04Z 2024-11-24T04:52:04Z Author&#160;Luckenbach, Sidney A.<br/>Preferred Shelf Number&#160;BC 91 L83 1972<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Derivation and counterexample : an introduction to philosophical logic ent://SD_ILS/0/SD_ILS:71234 2024-11-24T04:52:04Z 2024-11-24T04:52:04Z Author&#160;Lambert, Karel, 1928-<br/>Preferred Shelf Number&#160;BC 51 L35 1972<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Theory of science : attemp at a detailed and in the main novel exposition of logic with constant attention to earlier authors ent://SD_ILS/0/SD_ILS:369 2024-11-24T04:52:04Z 2024-11-24T04:52:04Z Author&#160;Bolzano, Bernard, 1781-1848.&#160;George, Rolf., ed.<br/>Preferred Shelf Number&#160;B 2967.B6 W561 1972<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Elementary logic ent://SD_ILS/0/SD_ILS:772 2024-11-24T04:52:04Z 2024-11-24T04:52:04Z Author&#160;Mates, Benson, 1919-<br/>Preferred Shelf Number&#160;BC 135 M37 1972 E<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Intentionality, mind and language ent://SD_ILS/0/SD_ILS:792 2024-11-24T04:52:04Z 2024-11-24T04:52:04Z Author&#160;Marras, Ausonio, comp.<br/>Preferred Shelf Number&#160;BC 199.I5 M37 1972<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> A general interpreted modal calculus ent://SD_ILS/0/SD_ILS:793 2024-11-24T04:52:04Z 2024-11-24T04:52:04Z Author&#160;Bressan, Aldo.<br/>Preferred Shelf Number&#160;BC 199.M6 B73L 1972<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Peter of Spain (Petrus Hispanus Portuga lensis) : Tractatus ; Called afterwards summule logicales ent://SD_ILS/0/SD_ILS:806 2024-11-24T04:52:04Z 2024-11-24T04:52:04Z Author&#160;Joannes, XXI, Pope, d 1277.<br/>Preferred Shelf Number&#160;BC 60 J56 1972<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Lawlikeness, analogy and inductive logic ent://SD_ILS/0/SD_ILS:818 2024-11-24T04:52:04Z 2024-11-24T04:52:04Z Author&#160;Pietarinen, Juhani.<br/>Preferred Shelf Number&#160;BC 91 P6172 1972<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The principles of empirical or inductive logic ent://SD_ILS/0/SD_ILS:819 2024-11-24T04:52:04Z 2024-11-24T04:52:04Z Author&#160;Venn, John, 1834-1923.<br/>Preferred Shelf Number&#160;BC 91 V4 1972<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Objective knowledge : an evolutionary approach ent://SD_ILS/0/SD_ILS:851 2024-11-24T04:52:04Z 2024-11-24T04:52:04Z Author&#160;Popper, Sir Karl Raimund, 1902-<br/>Preferred Shelf Number&#160;BD 161 P727 1972<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/>