Search Results for MANTIK. - Narrowed by: 1970SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMANTIK.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091970$0025091970$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list2024-11-24T07:55:38ZFirst-order functional calculusent://SD_ILS/0/SD_ILS:7652024-11-24T07:55:38Z2024-11-24T07:55:38ZAuthor 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:7732024-11-24T07:55:38Z2024-11-24T07:55:38ZAuthor Mostowski, Andrzej<br/>Preferred Shelf Number BC 135 M6 1952<br/>Format: Books<br/>Availability Beytepe Library~1<br/>İslam mantık tarihi ve Farabi mantığıent://SD_ILS/0/SD_ILS:851592024-11-24T07:55:38Z2024-11-24T07:55:38ZAuthor Keklik, Nihat.<br/>Preferred Shelf Number BC 34 K4 1969-70<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introduction to logicent://SD_ILS/0/SD_ILS:7482024-11-24T07:55:38Z2024-11-24T07:55:38ZAuthor 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:7492024-11-24T07:55:38Z2024-11-24T07:55:38ZAuthor 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:7522024-11-24T07:55:38Z2024-11-24T07:55:38ZAuthor Ackermann, Wilhelm, 1896-<br/>Preferred Shelf Number BC 135 A3 1954<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The theory of models : proc.ent://SD_ILS/0/SD_ILS:7632024-11-24T07:55:38Z2024-11-24T07:55:38ZAuthor 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/>Mathematische Gesetze der Logikent://SD_ILS/0/SD_ILS:7782024-11-24T07:55:38Z2024-11-24T07:55:38ZAuthor Schmidt, H. Arnold, 1902_<br/>Preferred Shelf Number BC 135 S343 1959-<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A profile of mathematical logicent://SD_ILS/0/SD_ILS:460372024-11-24T07:55:38Z2024-11-24T07:55:38ZAuthor DeLong, Howard, 1936-<br/>Preferred Shelf Number QA 9 B37 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Physics, logic and history : based on the First International Colloquium held at the University of Denver, May 116-20, 1966ent://SD_ILS/0/SD_ILS:746462024-11-24T07:55:38Z2024-11-24T07:55:38ZAuthor Yourgrau, Wolfgang, ed. Breck, Allen D., ed.<br/>Preferred Shelf Number QC 6 P47 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Geometry and induction : containing Geometry in the sensible world and The logical problem of inductionent://SD_ILS/0/SD_ILS:393452024-11-24T07:55:38Z2024-11-24T07:55:38ZAuthor Nicod, Jean, 1893-1924.<br/>Preferred Shelf Number QA 681 N52 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Fundamental concepts of modern mathematicsent://SD_ILS/0/SD_ILS:730502024-11-24T07:55:38Z2024-11-24T07:55:38ZAuthor Larsen, Max D.<br/>Preferred Shelf Number QA 248 L26 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Wissenschaftslehreent://SD_ILS/0/SD_ILS:3682024-11-24T07:55:38Z2024-11-24T07:55:38ZAuthor Bolzano, Bernard, 1781-1848.<br/>Preferred Shelf Number B 2967 B6 1970 V.1<br/>Format: Books<br/>Availability Beytepe Library~4<br/>Introduction to logicent://SD_ILS/0/SD_ILS:7412024-11-24T07:55:38Z2024-11-24T07:55:38ZAuthor Beach, John D.<br/>Preferred Shelf Number BC 108 B34 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Term logic with choice operatorent://SD_ILS/0/SD_ILS:7612024-11-24T07:55:38Z2024-11-24T07:55:38ZAuthor Hermes, Hans.<br/>Preferred Shelf Number BC 135 H4 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Understanding symbolic logicent://SD_ILS/0/SD_ILS:7702024-11-24T07:55:38Z2024-11-24T07:55:38ZAuthor Massey, Gerald J.<br/>Preferred Shelf Number BC 135 M35 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logical investigationsent://SD_ILS/0/SD_ILS:8132024-11-24T07:55:38Z2024-11-24T07:55:38ZAuthor Husserl, Edmund, 1859-1938.<br/>Preferred Shelf Number BC 73 H8213 1970<br/>Format: Books<br/>Availability Beytepe Library~2<br/>The implications of inductionent://SD_ILS/0/SD_ILS:8142024-11-24T07:55:38Z2024-11-24T07:55:38ZAuthor Cohen, Laurence Jonathan.<br/>Preferred Shelf Number BC 91 C63 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Probability and inductive logicent://SD_ILS/0/SD_ILS:8162024-11-24T07:55:38Z2024-11-24T07:55:38ZAuthor Kyburg, Henry Ely, 1928-<br/>Preferred Shelf Number BC 91 K9 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A study of the logic of teachingent://SD_ILS/0/SD_ILS:162352024-11-24T07:55:38Z2024-11-24T07:55:38ZAuthor Smith, Bunnie Othanel, 1903- Meux, Milton O., ed. Coombs, Jerrold., ed.<br/>Preferred Shelf Number LB 1025 S653 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>