Search Results for MANTIK. - Narrowed by: 1989
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMANTIK.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091989$0025091989$0026ps$003d300?
2025-03-15T23:16:15Z
İslam mantık tarihi ve Farabi mantığı
ent://SD_ILS/0/SD_ILS:85159
2025-03-15T23:16:15Z
2025-03-15T23:16:15Z
Author 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 inference
ent://SD_ILS/0/SD_ILS:740
2025-03-15T23:16:15Z
2025-03-15T23:16:15Z
Author 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 logic
ent://SD_ILS/0/SD_ILS:748
2025-03-15T23:16:15Z
2025-03-15T23:16:15Z
Author Suppes, Patrick Colonel, 1922-<br/>Preferred Shelf Number BC 108 S85 1957<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logical studies
ent://SD_ILS/0/SD_ILS:749
2025-03-15T23:16:15Z
2025-03-15T23:16:15Z
Author 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 problem
ent://SD_ILS/0/SD_ILS:752
2025-03-15T23:16:15Z
2025-03-15T23:16:15Z
Author Ackermann, Wilhelm, 1896-<br/>Preferred Shelf Number BC 135 A3 1954<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Cylindric algebras
ent://SD_ILS/0/SD_ILS:46044
2025-03-15T23:16:15Z
2025-03-15T23:16:15Z
Author 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 logical syntax of language
ent://SD_ILS/0/SD_ILS:755
2025-03-15T23:16:15Z
2025-03-15T23:16:15Z
Author 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:763
2025-03-15T23:16:15Z
2025-03-15T23:16:15Z
Author 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 calculus
ent://SD_ILS/0/SD_ILS:765
2025-03-15T23:16:15Z
2025-03-15T23:16:15Z
Author 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ödel
ent://SD_ILS/0/SD_ILS:773
2025-03-15T23:16:15Z
2025-03-15T23:16:15Z
Author Mostowski, Andrzej<br/>Preferred Shelf Number BC 135 M6 1952<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Mathematische Gesetze der Logik
ent://SD_ILS/0/SD_ILS:778
2025-03-15T23:16:15Z
2025-03-15T23:16:15Z
Author Schmidt, H. Arnold, 1902_<br/>Preferred Shelf Number BC 135 S343 1959-<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Mantık terimleri sözlüğü
ent://SD_ILS/0/SD_ILS:71239
2025-03-15T23:16:15Z
2025-03-15T23:16:15Z
Author Grünberg, Teo. Onat, A., ort. yaz.<br/>Preferred Shelf Number REF/BC 9 G924 1989<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Foundations of illocutionary logic
ent://SD_ILS/0/SD_ILS:20274
2025-03-15T23:16:15Z
2025-03-15T23:16:15Z
Author Searle, John R.<br/>Preferred Shelf Number P 95.55 S42 1985<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
CSL'88 :2nd workshop on .. duisburg, FRG, October 3-7, 1988 :proceedings /ed. by E. Börger, H. K. Büning and M. M. Richter.
ent://SD_ILS/0/SD_ILS:69040
2025-03-15T23:16:15Z
2025-03-15T23:16:15Z
Author Workshop on computer science logic (2nd : 1988 : Duisburg Germany) Büning, H. K., ort. yaz. Richter, M. M., ort. yaz.<br/>Preferred Shelf Number QA 76.9.M35 W67 1988<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Computability and logic
ent://SD_ILS/0/SD_ILS:71794
2025-03-15T23:16:15Z
2025-03-15T23:16:15Z
Author Boolos, George S. Jeffrey, R. C., ort. yaz.<br/>Preferred Shelf Number QA 9.59 B66 1989<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Systems of logic
ent://SD_ILS/0/SD_ILS:769
2025-03-15T23:16:15Z
2025-03-15T23:16:15Z
Author Martin, Norman M.<br/>Preferred Shelf Number BC 135 M325 1989<br/>Format: Books<br/>Availability Beytepe Library~1<br/>