Search Results for MANTIK. - Narrowed by: 2024 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMANTIK.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092024$0025092024$0026pe$003dd$00253A$0026ps$003d300$0026isd$003dtrue? 2024-11-10T13:50:24Z Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction ent://SD_ILS/0/SD_ILS:72527 2024-11-10T13:50:24Z 2024-11-10T13:50:24Z Author&#160;Nicod, Jean, 1893-1924.<br/>Preferred Shelf Number&#160;QA 681 N5 1930 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Logical studies ent://SD_ILS/0/SD_ILS:72539 2024-11-10T13:50:24Z 2024-11-10T13:50:24Z Author&#160;Wright, Georg Henrik von, 1916-<br/>Preferred Shelf Number&#160;BC 6 W72 1957 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The foundations of mathematics : and other logical essays ent://SD_ILS/0/SD_ILS:72541 2024-11-10T13:50:24Z 2024-11-10T13:50:24Z Author&#160;Ramsey, Frank Plumpton, 1903-1930.&#160;Braithwaite, Richard Bevan, ed.<br/>Preferred Shelf Number&#160;QA 9 R23 1931<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The nature of mathematics : a critical survey ent://SD_ILS/0/SD_ILS:72542 2024-11-10T13:50:24Z 2024-11-10T13:50:24Z Author&#160;Black, Max, 1909-<br/>Preferred Shelf Number&#160;QA 9 B62 1933 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The technique of controversy : principles of dynamic logic ent://SD_ILS/0/SD_ILS:72543 2024-11-10T13:50:24Z 2024-11-10T13:50:24Z Author&#160;Bogoslovsky, Boris Basil, 1890-<br/>Preferred Shelf Number&#160;BC 108 B65 1928 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The limits of science : outline of logic and of the methodology of the exact sciences ent://SD_ILS/0/SD_ILS:72557 2024-11-10T13:50:24Z 2024-11-10T13:50:24Z Author&#160;Chwistek, Leon, 1884-&#160;Brodie, Helen Charlotte, 1915-<br/>Preferred Shelf Number&#160;Q 175 C494 1948 A (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Communication : a philosophical study of language ent://SD_ILS/0/SD_ILS:72500 2024-11-10T13:50:24Z 2024-11-10T13:50:24Z Author&#160;Britton, Karl, 1909-<br/>Preferred Shelf Number&#160;P 105 B75 1939 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Dialectic ent://SD_ILS/0/SD_ILS:72501 2024-11-10T13:50:24Z 2024-11-10T13:50:24Z Author&#160;Adler, Mortimer Jerome, 1902-<br/>Preferred Shelf Number&#160;BC 177 A4 1927 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The logical syntax of language ent://SD_ILS/0/SD_ILS:72509 2024-11-10T13:50:24Z 2024-11-10T13:50:24Z Author&#160;Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number&#160;BC 135 C323 1937 P (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Mathematical logic : A course with exercises ent://SD_ILS/0/SD_ILS:76678 2024-11-10T13:50:24Z 2024-11-10T13:50:24Z Author&#160;Cori, Rene.&#160;Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number&#160;QA 9 C742513 2000 PT.1<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> &#304;slam mant&#305;k tarihi ve Farabi mant&#305;&#287;&#305; ent://SD_ILS/0/SD_ILS:85159 2024-11-10T13:50:24Z 2024-11-10T13:50:24Z 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/> A treatise on induction and probability ent://SD_ILS/0/SD_ILS:55443 2024-11-10T13:50:24Z 2024-11-10T13:50:24Z Author&#160;Wright, Georg Henrik von, 1916-<br/>Preferred Shelf Number&#160;BC 91 W72 1951 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Cylindric algebras ent://SD_ILS/0/SD_ILS:46044 2024-11-10T13:50:24Z 2024-11-10T13:50:24Z 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/> Logic : the theory of formal inference ent://SD_ILS/0/SD_ILS:740 2024-11-10T13:50:24Z 2024-11-10T13:50:24Z 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-10T13:50:24Z 2024-11-10T13:50:24Z 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-10T13:50:24Z 2024-11-10T13:50:24Z 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-10T13:50:24Z 2024-11-10T13:50:24Z 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-10T13:50:24Z 2024-11-10T13:50:24Z 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-10T13:50:24Z 2024-11-10T13:50:24Z 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-11-10T13:50:24Z 2024-11-10T13:50:24Z 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-10T13:50:24Z 2024-11-10T13:50:24Z 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-11-10T13:50:24Z 2024-11-10T13:50:24Z 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/> An examination of logical positivism ent://SD_ILS/0/SD_ILS:44223 2024-11-10T13:50:24Z 2024-11-10T13:50:24Z Author&#160;Weinberg, Julius Rudolf, 1908-<br/>Preferred Shelf Number&#160;B 824.6 W434 1936 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/>