Search Results for MANTIK. - Narrowed by: 2000SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMANTIK.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092000$0025092000$0026ps$003d300?2026-03-03T16:48:25Zİslam mantık tarihi ve Farabi mantığıent://SD_ILS/0/SD_ILS:851592026-03-03T16:48:25Z2026-03-03T16:48:25ZAuthor 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:7402026-03-03T16:48:25Z2026-03-03T16:48:25ZAuthor 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:7482026-03-03T16:48:25Z2026-03-03T16:48:25ZAuthor 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:7492026-03-03T16:48:25Z2026-03-03T16:48:25ZAuthor 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:7522026-03-03T16:48:25Z2026-03-03T16:48:25ZAuthor 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:7552026-03-03T16:48:25Z2026-03-03T16:48:25ZAuthor 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:7632026-03-03T16:48:25Z2026-03-03T16:48:25ZAuthor 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:7652026-03-03T16:48:25Z2026-03-03T16:48:25ZAuthor 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:7732026-03-03T16:48:25Z2026-03-03T16:48:25ZAuthor 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:7782026-03-03T16:48:25Z2026-03-03T16:48:25ZAuthor Schmidt, H. Arnold, 1902_<br/>Preferred Shelf Number BC 135 S343 1959-<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The limits of science : outline of logic and of the methodology of the exact sciencesent://SD_ILS/0/SD_ILS:725572026-03-03T16:48:25Z2026-03-03T16:48:25ZAuthor Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-<br/>Preferred Shelf Number Q 175 C494 1948 A (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Dialecticent://SD_ILS/0/SD_ILS:725012026-03-03T16:48:25Z2026-03-03T16:48:25ZAuthor Adler, Mortimer Jerome, 1902-<br/>Preferred Shelf Number BC 177 A4 1927 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Mathematical logic : A course with exercisesent://SD_ILS/0/SD_ILS:766782026-03-03T16:48:25Z2026-03-03T16:48:25ZAuthor Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number QA 9 C742513 2000 PT.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Cylindric algebrasent://SD_ILS/0/SD_ILS:460442026-03-03T16:48:25Z2026-03-03T16:48:25ZAuthor 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/>The foundations of mathematics : and other logical essaysent://SD_ILS/0/SD_ILS:725412026-03-03T16:48:25Z2026-03-03T16:48:25ZAuthor Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.<br/>Preferred Shelf Number QA 9 R23 1931<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Sembolik mantık el kitabıent://SD_ILS/0/SD_ILS:889372026-03-03T16:48:25Z2026-03-03T16:48:25ZAuthor Grünberg, Teo.<br/>Preferred Shelf Number BC 135 G969 2000 V.2<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Medieval and renaissance logic in Spain : acts of the 12th European Symposium on Medieval Logic and Semantics, held at the University of Navarre (Pamplona, 26-30 May 1997)ent://SD_ILS/0/SD_ILS:969852026-03-03T16:48:25Z2026-03-03T16:48:25ZAuthor Angelelli, Ignacio, ed. Perez-Ilzarbe, Paloma, ed.<br/>Preferred Shelf Number BC 39.5.S7 M469 2000<br/>Format: Books<br/>Availability Beytepe Library~1<br/>