Arama Sonuçları MANTIK. - Daraltılmış: 1972
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dMANTIK.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025091972$0025091972$0026ps$003d300?dt=list
2024-11-25T17:18:34Z
Logic : the theory of formal inference
ent://SD_ILS/0/SD_ILS:740
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar 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 logic
ent://SD_ILS/0/SD_ILS:748
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar Suppes, Patrick Colonel, 1922-<br/>Yer Numarası BC 108 S85 1957<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Logical studies
ent://SD_ILS/0/SD_ILS:749
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar 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 problem
ent://SD_ILS/0/SD_ILS:752
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar 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 language
ent://SD_ILS/0/SD_ILS:755
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar 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:763
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar 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 calculus
ent://SD_ILS/0/SD_ILS:765
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar 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ödel
ent://SD_ILS/0/SD_ILS:773
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar Mostowski, Andrzej<br/>Yer Numarası BC 135 M6 1952<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Mathematische Gesetze der Logik
ent://SD_ILS/0/SD_ILS:778
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar Schmidt, H. Arnold, 1902_<br/>Yer Numarası BC 135 S343 1959-<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
İslam mantık tarihi ve Farabi mantığı
ent://SD_ILS/0/SD_ILS:85159
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar Keklik, Nihat.<br/>Yer Numarası BC 34 K4 1969-70<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Cylindric algebras
ent://SD_ILS/0/SD_ILS:46044
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar 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/>
Elementary logic
ent://SD_ILS/0/SD_ILS:772
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar Mates, Benson, 1919-<br/>Yer Numarası BC 135 M37 1972 E<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Intentionality, mind and language
ent://SD_ILS/0/SD_ILS:792
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar Marras, Ausonio, comp.<br/>Yer Numarası BC 199.I5 M37 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Peter of Spain (Petrus Hispanus Portuga lensis) : Tractatus ; Called afterwards summule logicales
ent://SD_ILS/0/SD_ILS:806
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar Joannes, XXI, Pope, d 1277.<br/>Yer Numarası BC 60 J56 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Lawlikeness, analogy and inductive logic
ent://SD_ILS/0/SD_ILS:818
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar Pietarinen, Juhani.<br/>Yer Numarası BC 91 P6172 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The principles of empirical or inductive logic
ent://SD_ILS/0/SD_ILS:819
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar Venn, John, 1834-1923.<br/>Yer Numarası BC 91 V4 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Objective knowledge : an evolutionary approach
ent://SD_ILS/0/SD_ILS:851
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar Popper, Sir Karl Raimund, 1902-<br/>Yer Numarası BD 161 P727 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Bilgi teorisi ve mantık
ent://SD_ILS/0/SD_ILS:83165
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar Von Aster, Ernst. Gökberk, Macit, çev.<br/>Yer Numarası BD 161 V89 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Probabilities, problems, and paradoxes : readings in inductive logic
ent://SD_ILS/0/SD_ILS:69772
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar Luckenbach, Sidney A.<br/>Yer Numarası BC 91 L83 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Derivation and counterexample : an introduction to philosophical logic
ent://SD_ILS/0/SD_ILS:71234
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar Lambert, Karel, 1928-<br/>Yer Numarası BC 51 L35 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Theory of science : attemp at a detailed and in the main novel exposition of logic with constant attention to earlier authors
ent://SD_ILS/0/SD_ILS:369
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar Bolzano, Bernard, 1781-1848. George, Rolf., ed.<br/>Yer Numarası B 2967.B6 W561 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
A general interpreted modal calculus
ent://SD_ILS/0/SD_ILS:793
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar Bressan, Aldo.<br/>Yer Numarası BC 199.M6 B73L 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Meaning and existence in mathematics
ent://SD_ILS/0/SD_ILS:46039
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar Castonguay, Charles.<br/>Yer Numarası QA 9 C344 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
A mathematical introduction to logic
ent://SD_ILS/0/SD_ILS:46041
2024-11-25T17:18:34Z
2024-11-25T17:18:34Z
Yazar Enderton, Herbert B.<br/>Yer Numarası QA 9 E54 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>