Arama Sonuçları MANTIK, SEMBOLİK VE MATEMATİKİ.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dMANTIK$00252C$002bSEMBOL$0025C4$0025B0K$002bVE$002bMATEMAT$0025C4$0025B0K$0025C4$0025B0.$0026ps$003d300?dt=list2024-11-24T14:27:38ZFirst-order functional calculusent://SD_ILS/0/SD_ILS:7652024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar 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-24T14:27:38Z2024-11-24T14:27:38ZYazar Mostowski, Andrzej<br/>Yer Numarası BC 135 M6 1952<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>An examination of logical positivisment://SD_ILS/0/SD_ILS:442232024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Weinberg, Julius Rudolf, 1908-<br/>Yer Numarası B 824.6 W434 1936 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Cylindric algebrasent://SD_ILS/0/SD_ILS:460442024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar 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/>The logical syntax of languageent://SD_ILS/0/SD_ILS:725092024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Carnap, Rudolf, 1891-1970.<br/>Yer Numarası BC 135 C323 1937 P (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mathematical logic : A course with exercisesent://SD_ILS/0/SD_ILS:766782024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar 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/>The foundations of mathematics : and other logical essaysent://SD_ILS/0/SD_ILS:725412024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar 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-24T14:27:38Z2024-11-24T14:27:38ZYazar Black, Max, 1909-<br/>Yer Numarası QA 9 B62 1933 (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-24T14:27:38Z2024-11-24T14:27:38ZYazar 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/>Solvable cases of decision problement://SD_ILS/0/SD_ILS:7522024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar 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-24T14:27:38Z2024-11-24T14:27:38ZYazar 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-24T14:27:38Z2024-11-24T14:27:38ZYazar 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/>Mathematische Gesetze der Logikent://SD_ILS/0/SD_ILS:7782024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Schmidt, H. Arnold, 1902_<br/>Yer Numarası BC 135 S343 1959-<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic and structureent://SD_ILS/0/SD_ILS:975662024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Dalen, D. van.<br/>Yer Numarası QA 9 D16 2004<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Axiomatic theory of sets and classesent://SD_ILS/0/SD_ILS:553822024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Eisenberg, Murray.<br/>Yer Numarası QA 248 E37 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Kotarbinski : logic, semantics, and ontologyent://SD_ILS/0/SD_ILS:712332024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Wolenski, J., ed.<br/>Yer Numarası B 4691.K594 K67 1990<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Word and objectent://SD_ILS/0/SD_ILS:6832024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Quine, Willard Van Orman.<br/>Yer Numarası B 840 Q5 1960 W<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Systems of logicent://SD_ILS/0/SD_ILS:7692024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Martin, Norman M.<br/>Yer Numarası BC 135 M325 1989<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~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:690402024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Workshop on computer science logic (2nd : 1988 : Duisburg Germany) Büning, H. K., ort. yaz. Richter, M. M., ort. yaz.<br/>Yer Numarası QA 76.9.M35 W67 1988<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Computability and logicent://SD_ILS/0/SD_ILS:717942024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Boolos, George S. Jeffrey, R. C., ort. yaz.<br/>Yer Numarası QA 9.59 B66 1989<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Non-standard logics for automated reasoningent://SD_ILS/0/SD_ILS:460572024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Smets, Philippe, ed. by<br/>Yer Numarası QA 9.4 N65 1988<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Temporal logic of programsent://SD_ILS/0/SD_ILS:322002024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Kröger, Fred, 1945-<br/>Yer Numarası QA 76.6 K753 1987<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mathematical logic and programming languagesent://SD_ILS/0/SD_ILS:726872024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Hoare, C. A. R., ed. Shepherdson, J. C., ed.<br/>Yer Numarası QA 9 M42 1985<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>An Outline of mathematical logic : fundamental results and notions explained with all detailsent://SD_ILS/0/SD_ILS:7512024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Grzegorczyk, Andrzej.<br/>Yer Numarası BC 131 G7 1974<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Symbolic logic and mechanical theorem provingent://SD_ILS/0/SD_ILS:460402024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Chang, Chin-Liang, 1937- Lee, R. C., ed.<br/>Yer Numarası QA 9 C49 1973<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic : the study of deductive reasoningent://SD_ILS/0/SD_ILS:7392024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Yıldırım, Cemal.<br/>Yer Numarası BC 71 Y51 1973<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Symbolic logicent://SD_ILS/0/SD_ILS:7562024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Copi, Irving M.<br/>Yer Numarası BC 135 C58 1973<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Meaning and existence in mathematicsent://SD_ILS/0/SD_ILS:460392024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Castonguay, Charles.<br/>Yer Numarası QA 9 C344 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>A mathematical introduction to logicent://SD_ILS/0/SD_ILS:460412024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Enderton, Herbert B.<br/>Yer Numarası QA 9 E54 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Derivation and counterexample : an introduction to philosophical logicent://SD_ILS/0/SD_ILS:712342024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Lambert, Karel, 1928-<br/>Yer Numarası BC 51 L35 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Elementary logicent://SD_ILS/0/SD_ILS:7722024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Mates, Benson, 1919-<br/>Yer Numarası BC 135 M37 1972 E<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Recursive function theory and logicent://SD_ILS/0/SD_ILS:26022024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Yasuhara, Ann.<br/>Yer Numarası QA 248.5 Y36 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Sets and logicent://SD_ILS/0/SD_ILS:553712024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Hanna, Samuel C. Saber, John C., ort. yaz.<br/>Yer Numarası QA 248 H29 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logical writingsent://SD_ILS/0/SD_ILS:7602024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Herbrand, Jacques, 1908-1931. Van Heijenoort, Jean, ed.<br/>Yer Numarası BC 135 H3813 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Symbolic logicent://SD_ILS/0/SD_ILS:7792024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Venn, John, 1834-1923.<br/>Yer Numarası BC 135 V4 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Prototractatus : an early version of tractatus logico-philosophicusent://SD_ILS/0/SD_ILS:7812024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Wittgenstein, Ludwig, 1889-1951. McGuinness, B. F., ed. Nyberg, T., ed. Wright, G. H. von, ed.<br/>Yer Numarası BC 135 W5 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic, automata, and algorithmsent://SD_ILS/0/SD_ILS:336472024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Aiserman, Mark A.<br/>Yer Numarası QA 267.5.S4 L613 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>A profile of mathematical logicent://SD_ILS/0/SD_ILS:460372024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar DeLong, Howard, 1936-<br/>Yer Numarası QA 9 B37 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Fundamental concepts of modern mathematicsent://SD_ILS/0/SD_ILS:730502024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Larsen, Max D.<br/>Yer Numarası QA 248 L26 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Term logic with choice operatorent://SD_ILS/0/SD_ILS:7612024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Hermes, Hans.<br/>Yer Numarası BC 135 H4 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Understanding symbolic logicent://SD_ILS/0/SD_ILS:7702024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Massey, Gerald J.<br/>Yer Numarası BC 135 M35 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Einführung in die operative logik und Mathematikent://SD_ILS/0/SD_ILS:7672024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Lorenzen, Paul.<br/>Yer Numarası BC 135 L6 1969<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to symbolic logicent://SD_ILS/0/SD_ILS:7752024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Pollock, John L.<br/>Yer Numarası BC 135 P68 1969<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>An introduction to mathematical logicent://SD_ILS/0/SD_ILS:460502024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Robinson, Gerson B., 1909-<br/>Yer Numarası QA 9 R72 1969<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Elementare logik (Pradikatenlogik der ersten Stufe)ent://SD_ILS/0/SD_ILS:7712024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Mates, Benson, 1919-<br/>Yer Numarası BC 135 M37 1969<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Basic concepts of mathematics and logicent://SD_ILS/0/SD_ILS:460032024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Gemignani, Michael C.<br/>Yer Numarası QA 39 G2846 1968<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to mathematical logicent://SD_ILS/0/SD_ILS:460482024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Mendelson, Elliott.<br/>Yer Numarası QA 9 M4 1964<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic, methodology and philosophy of science III : proceedingsent://SD_ILS/0/SD_ILS:712302024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar International Congress for Logic, Methodology and Philosophy of Science (3rd : 1967 : Amsterdam) Van Rootselaar, B., ed. Staal, J. F., ed.<br/>Yer Numarası BC 135 I55 1968<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Essays on Fregeent://SD_ILS/0/SD_ILS:310592024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Klemk, E. D., 1928- ed.<br/>Yer Numarası QA 29.F7 K5 1968<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Proceedings of the Summer School in Logic Leeds, 1967 ; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logicent://SD_ILS/0/SD_ILS:730222024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Summer School in Logic (1967 : Leeds, Eng.) Löb, M. H., ed.<br/>Yer Numarası QA 248 SU64 1968<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>An Introduction to many-valued logicent://SD_ILS/0/SD_ILS:460342024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Ackermann, Robert John, 1933-<br/>Yer Numarası QA 9 A5 1967<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhangigkeit der Kontinuum Hypothese und des Auswahlaxiomsent://SD_ILS/0/SD_ILS:730212024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Jensen, Ronald Björn. Leven, Franz Josef.<br/>Yer Numarası QA 248 J453 1967<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Techniques of deductive inferenceent://SD_ILS/0/SD_ILS:7662024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Leblanc, Hugues, 1924-<br/>Yer Numarası BC 135 L36 1966<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic and algorithms : with applications to the computer and information sciencesent://SD_ILS/0/SD_ILS:460472024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Korfhage, Robert R.<br/>Yer Numarası QA 9 K678 1966<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Essays on Wittgenstein's Tractatusent://SD_ILS/0/SD_ILS:7572024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Copi, Irving M. Beard, Robert W., ed.<br/>Yer Numarası BC 135 C6 1966<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Intuitionism : an introductionent://SD_ILS/0/SD_ILS:7622024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Heyting, Arend, 1898-<br/>Yer Numarası BC 135 H48 1966<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>A transfinite type with type variablesent://SD_ILS/0/SD_ILS:460352024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Andrews, Peter B.<br/>Yer Numarası QA 9 A64 1965<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>A theory of setsent://SD_ILS/0/SD_ILS:555052024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Morse, Anthony Perry.<br/>Yer Numarası QA 248 M67 1965<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introductory real analysisent://SD_ILS/0/SD_ILS:725972024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Munroe, Marshall Evans,d1918-<br/>Yer Numarası QA 300 M9268 1965<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Formal systems and recursive functions : proceedingent://SD_ILS/0/SD_ILS:7682024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Logic Colloquium (8th : 1963 : Oxford).<br/>Yer Numarası BC 135 L8292 1965<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Languages with expressions of infinite lengthent://SD_ILS/0/SD_ILS:7642024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Karp, Carol Ruth.<br/>Yer Numarası BC 135 K148 1964<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>An introduction to transformational grammarsent://SD_ILS/0/SD_ILS:199402024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Bach, Emmon W., 1929-<br/>Yer Numarası P 123 B3<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>The axiomatic method : an introduction to mathematical logicent://SD_ILS/0/SD_ILS:234782024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Lightstone, A. H.<br/>Yer Numarası QA 248 L53 1964<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Quantification theoryent://SD_ILS/0/SD_ILS:7582024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Faris, John Acheson.<br/>Yer Numarası BC 135 F3 1964<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Communication : a logical modelent://SD_ILS/0/SD_ILS:7592024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Harrah, David.<br/>Yer Numarası BC 135 H33 1963<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The Logical systems of Lesniewskient://SD_ILS/0/SD_ILS:4822024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Luschei, Eugene C.<br/>Yer Numarası B 4691.L44 L8 1962<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The development of mathematical logicent://SD_ILS/0/SD_ILS:7742024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Nidditch, P. H.<br/>Yer Numarası BC 135 N5 1962<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Grundzüge der mathematischen Logikent://SD_ILS/0/SD_ILS:712382024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Scholz, Heinrich, 1884-1956.<br/>Yer Numarası BC 135 S64 1961<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Inductive probabilityent://SD_ILS/0/SD_ILS:7832024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Day, John Patrick.<br/>Yer Numarası BC 141 D35 1961<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Meaning and necessity : a study in semantics and model logicent://SD_ILS/0/SD_ILS:222024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Carnap, Rudolf, 1891-<br/>Yer Numarası B 840 C3 1956<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic for mathematiciansent://SD_ILS/0/SD_ILS:7772024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Rosser, John Barkley, 1907-<br/>Yer Numarası BC 135 R735 1953<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The elements of mathematical logicent://SD_ILS/0/SD_ILS:7762024-11-24T14:27:38Z2024-11-24T14:27:38ZYazar Rosenbloom, Paul C.<br/>Yer Numarası BC 135 R7236 1950<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>