Arama Sonuçları MANTIK. - Daraltılmış: 2019SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dMANTIK.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092019$0025092019$0026ps$003d300$0026isd$003dtrue?2024-11-14T17:01:40ZMathematical logic : A course with exercisesent://SD_ILS/0/SD_ILS:766782024-11-14T17:01:40Z2024-11-14T17:01:40ZYazar Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Yer Numarası QA 9 C742513 2000 PT.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>A treatise on induction and probabilityent://SD_ILS/0/SD_ILS:554432024-11-14T17:01:40Z2024-11-14T17:01:40ZYazar Wright, Georg Henrik von, 1916-<br/>Yer Numarası BC 91 W72 1951 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of inductionent://SD_ILS/0/SD_ILS:725272024-11-14T17:01:40Z2024-11-14T17:01:40ZYazar Nicod, Jean, 1893-1924.<br/>Yer Numarası QA 681 N5 1930 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logical studiesent://SD_ILS/0/SD_ILS:725392024-11-14T17:01:40Z2024-11-14T17:01:40ZYazar Wright, Georg Henrik von, 1916-<br/>Yer Numarası BC 6 W72 1957 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The foundations of mathematics : and other logical essaysent://SD_ILS/0/SD_ILS:725412024-11-14T17:01:40Z2024-11-14T17:01:40ZYazar Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.<br/>Yer Numarası QA 9 R23 1931<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The nature of mathematics : a critical surveyent://SD_ILS/0/SD_ILS:725422024-11-14T17:01:40Z2024-11-14T17:01:40ZYazar Black, Max, 1909-<br/>Yer Numarası QA 9 B62 1933 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The technique of controversy : principles of dynamic logicent://SD_ILS/0/SD_ILS:725432024-11-14T17:01:40Z2024-11-14T17:01:40ZYazar Bogoslovsky, Boris Basil, 1890-<br/>Yer Numarası BC 108 B65 1928 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The limits of science : outline of logic and of the methodology of the exact sciencesent://SD_ILS/0/SD_ILS:725572024-11-14T17:01:40Z2024-11-14T17:01:40ZYazar Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-<br/>Yer Numarası Q 175 C494 1948 A (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>An examination of logical positivisment://SD_ILS/0/SD_ILS:442232024-11-14T17:01:40Z2024-11-14T17:01:40ZYazar Weinberg, Julius Rudolf, 1908-<br/>Yer Numarası B 824.6 W434 1936 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Communication : a philosophical study of languageent://SD_ILS/0/SD_ILS:725002024-11-14T17:01:40Z2024-11-14T17:01:40ZYazar Britton, Karl, 1909-<br/>Yer Numarası P 105 B75 1939 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Dialecticent://SD_ILS/0/SD_ILS:725012024-11-14T17:01:40Z2024-11-14T17:01:40ZYazar Adler, Mortimer Jerome, 1902-<br/>Yer Numarası BC 177 A4 1927 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The logical syntax of languageent://SD_ILS/0/SD_ILS:725092024-11-14T17:01:40Z2024-11-14T17:01:40ZYazar Carnap, Rudolf, 1891-1970.<br/>Yer Numarası BC 135 C323 1937 P (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>İslam mantık tarihi ve Farabi mantığıent://SD_ILS/0/SD_ILS:851592024-11-14T17:01:40Z2024-11-14T17:01:40ZYazar Keklik, Nihat.<br/>Yer Numarası BC 34 K4 1969-70<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Cylindric algebrasent://SD_ILS/0/SD_ILS:460442024-11-14T17:01:40Z2024-11-14T17:01:40ZYazar Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.<br/>Yer Numarası QA 9 H415 1971- V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic : the theory of formal inferenceent://SD_ILS/0/SD_ILS:7402024-11-14T17:01:40Z2024-11-14T17:01:40ZYazar Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Yer Numarası BC 108 A55 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to logicent://SD_ILS/0/SD_ILS:7482024-11-14T17:01:40Z2024-11-14T17:01:40ZYazar Suppes, Patrick Colonel, 1922-<br/>Yer Numarası BC 108 S85 1957<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logical studiesent://SD_ILS/0/SD_ILS:7492024-11-14T17:01:40Z2024-11-14T17:01:40ZYazar Wright, Georg Henrik von, 1916-<br/>Yer Numarası BC 108 W7 1957<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Solvable cases of decision problement://SD_ILS/0/SD_ILS:7522024-11-14T17:01:40Z2024-11-14T17:01:40ZYazar Ackermann, Wilhelm, 1896-<br/>Yer Numarası BC 135 A3 1954<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The logical syntax of languageent://SD_ILS/0/SD_ILS:7552024-11-14T17:01:40Z2024-11-14T17:01:40ZYazar Carnap, Rudolf, 1891-1970.<br/>Yer Numarası BC 135 C323 1937<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>The theory of models : proc.ent://SD_ILS/0/SD_ILS:7632024-11-14T17:01:40Z2024-11-14T17:01:40ZYazar International Symposium on the Theory of Models (1963 : Berkeley, Calif.) Addison, John West, 1930- ed. Henkin, Leon, ed. Tarski, Alfred, ed.<br/>Yer Numarası BC 135 I586 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>First-order functional calculusent://SD_ILS/0/SD_ILS:7652024-11-14T17:01:40Z2024-11-14T17:01:40ZYazar Keene, Geoffrey Bourton.<br/>Yer Numarası BC 135 K4 1966<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödelent://SD_ILS/0/SD_ILS:7732024-11-14T17:01:40Z2024-11-14T17:01:40ZYazar Mostowski, Andrzej<br/>Yer Numarası BC 135 M6 1952<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mathematische Gesetze der Logikent://SD_ILS/0/SD_ILS:7782024-11-14T17:01:40Z2024-11-14T17:01:40ZYazar Schmidt, H. Arnold, 1902_<br/>Yer Numarası BC 135 S343 1959-<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>