Search Results for MANTIK. - Narrowed by: 1971
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMANTIK.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091971$0025091971$0026ic$003dtrue$0026ps$003d300?dt=list
2024-12-18T05:06:36Z
İslam mantık tarihi ve Farabi mantığı
ent://SD_ILS/0/SD_ILS:85159
2024-12-18T05:06:36Z
2024-12-18T05:06:36Z
Author Keklik, Nihat.<br/>Preferred Shelf Number BC 34 K4 1969-70<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Introduction to logic
ent://SD_ILS/0/SD_ILS:748
2024-12-18T05:06:36Z
2024-12-18T05:06:36Z
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
2024-12-18T05:06:36Z
2024-12-18T05:06:36Z
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
2024-12-18T05:06:36Z
2024-12-18T05:06:36Z
Author Ackermann, Wilhelm, 1896-<br/>Preferred Shelf Number BC 135 A3 1954<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logical syntax of language
ent://SD_ILS/0/SD_ILS:755
2024-12-18T05:06:36Z
2024-12-18T05:06:36Z
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
2024-12-18T05:06:36Z
2024-12-18T05:06:36Z
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
2024-12-18T05:06:36Z
2024-12-18T05:06:36Z
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
2024-12-18T05:06:36Z
2024-12-18T05:06:36Z
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
2024-12-18T05:06:36Z
2024-12-18T05:06:36Z
Author Schmidt, H. Arnold, 1902_<br/>Preferred Shelf Number BC 135 S343 1959-<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Cylindric algebras
ent://SD_ILS/0/SD_ILS:46044
2024-12-18T05:06:36Z
2024-12-18T05:06:36Z
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/>
Axiomatic theory of sets and classes
ent://SD_ILS/0/SD_ILS:55382
2024-12-18T05:06:36Z
2024-12-18T05:06:36Z
Author Eisenberg, Murray.<br/>Preferred Shelf Number QA 248 E37 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic, automata, and algorithms
ent://SD_ILS/0/SD_ILS:33647
2024-12-18T05:06:36Z
2024-12-18T05:06:36Z
Author Aiserman, Mark A.<br/>Preferred Shelf Number QA 267.5.S4 L613 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Schriften zur logik und sprach-philosophie Aus dem Nachlass : Mit einleitung,Anmerkungen, Bibliographie und Register
ent://SD_ILS/0/SD_ILS:393
2024-12-18T05:06:36Z
2024-12-18T05:06:36Z
Author Frege, Gottlob, 1848-1925.<br/>Preferred Shelf Number B 3245.F2 S69 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The Idea of principle in Leibnitz and the evolution of deductive theory
ent://SD_ILS/0/SD_ILS:475
2024-12-18T05:06:36Z
2024-12-18T05:06:36Z
Author Ortega y Gasset, Jose, 1883-1955.<br/>Preferred Shelf Number B 4568.O7 E513 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logical writings
ent://SD_ILS/0/SD_ILS:760
2024-12-18T05:06:36Z
2024-12-18T05:06:36Z
Author Herbrand, Jacques, 1908-1931. Van Heijenoort, Jean, ed.<br/>Preferred Shelf Number BC 135 H3813 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Symbolic logic
ent://SD_ILS/0/SD_ILS:779
2024-12-18T05:06:36Z
2024-12-18T05:06:36Z
Author Venn, John, 1834-1923.<br/>Preferred Shelf Number BC 135 V4 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Prototractatus : an early version of tractatus logico-philosophicus
ent://SD_ILS/0/SD_ILS:781
2024-12-18T05:06:36Z
2024-12-18T05:06:36Z
Author Wittgenstein, Ludwig, 1889-1951. McGuinness, B. F., ed. Nyberg, T., ed. Wright, G. H. von, ed.<br/>Preferred Shelf Number BC 135 W5 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Deontic logic : introductory and systematic readings
ent://SD_ILS/0/SD_ILS:788
2024-12-18T05:06:36Z
2024-12-18T05:06:36Z
Author Hilpinen, Risto.<br/>Preferred Shelf Number BC 145 H53 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic, language, and metaphysics
ent://SD_ILS/0/SD_ILS:803
2024-12-18T05:06:36Z
2024-12-18T05:06:36Z
Author Martin, Richard Milton.<br/>Preferred Shelf Number BC 51 M37 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic for philosophers
ent://SD_ILS/0/SD_ILS:810
2024-12-18T05:06:36Z
2024-12-18T05:06:36Z
Author Purtill, Richard L., 1931-<br/>Preferred Shelf Number BC 71 P86 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Recursive function theory and logic
ent://SD_ILS/0/SD_ILS:2602
2024-12-18T05:06:36Z
2024-12-18T05:06:36Z
Author Yasuhara, Ann.<br/>Preferred Shelf Number QA 248.5 Y36 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Sets and logic
ent://SD_ILS/0/SD_ILS:55371
2024-12-18T05:06:36Z
2024-12-18T05:06:36Z
Author Hanna, Samuel C. Saber, John C., ort. yaz.<br/>Preferred Shelf Number QA 248 H29 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Eighteenth-century British logic and rhetoric
ent://SD_ILS/0/SD_ILS:74567
2024-12-18T05:06:36Z
2024-12-18T05:06:36Z
Author Howell, Wilbur Samuel, 1904-<br/>Preferred Shelf Number BC 38 H59 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>