Search Results for MANTIK.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMANTIK.$0026ps$003d300$0026isd$003dtrue?dt=list2024-11-24T15:56:40ZMedical-surgical nursing : assessment and management of clinical problemsent://SD_ILS/0/SD_ILS:2483092024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Lewis, Sharon Mantik. Heitkemper, Margaret M. (Margaret McLean) Dirksen, Shannon Ruff.<br/>Preferred Shelf Number WY 100 M489 2004<br/>Format: Books<br/>Availability Health Sciences Library~1<br/>Medical-surgical nursing : assessment and management of clinical problemsent://SD_ILS/0/SD_ILS:1103372024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Lewis, Sharon Mantik. Heitkemper, Margaret M. (Margaret McLean) Dirksen, Shannon Ruff.<br/>Preferred Shelf Number WY 100 M489 2004 V.2<br/>Format: Books<br/>Availability Health Sciences Library~3<br/>Medical-surgical nursing : assessment and management of clinical problemsent://SD_ILS/0/SD_ILS:3583832024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Lewis, Sharon Mantik, author. Dirksen, Shannon Ruff, author. Heitkemper, Margaret M. (Margaret McLean), author. Bucher, Linda, author. Harding, Mariann, editor.<br/>Preferred Shelf Number WY 100 M4881 2014<br/>Format: Books<br/>Availability Health Sciences Library~1<br/>First-order functional calculusent://SD_ILS/0/SD_ILS:7652024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor 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-24T15:56:40Z2024-11-24T15:56:40ZAuthor Mostowski, Andrzej<br/>Preferred Shelf Number BC 135 M6 1952<br/>Format: Books<br/>Availability Beytepe Library~1<br/>An examination of logical positivisment://SD_ILS/0/SD_ILS:442232024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Weinberg, Julius Rudolf, 1908-<br/>Preferred Shelf Number B 824.6 W434 1936 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Cylindric algebrasent://SD_ILS/0/SD_ILS:460442024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor 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/>Communication : a philosophical study of languageent://SD_ILS/0/SD_ILS:725002024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Britton, Karl, 1909-<br/>Preferred Shelf Number P 105 B75 1939 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Dialecticent://SD_ILS/0/SD_ILS:725012024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Adler, Mortimer Jerome, 1902-<br/>Preferred Shelf Number BC 177 A4 1927 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The logical syntax of languageent://SD_ILS/0/SD_ILS:725092024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number BC 135 C323 1937 P (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Mathematical logic : A course with exercisesent://SD_ILS/0/SD_ILS:766782024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number QA 9 C742513 2000 PT.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>İslam mantık tarihi ve Farabi mantığıent://SD_ILS/0/SD_ILS:851592024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Keklik, Nihat.<br/>Preferred Shelf Number BC 34 K4 1969-70<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A treatise on induction and probabilityent://SD_ILS/0/SD_ILS:554432024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Wright, Georg Henrik von, 1916-<br/>Preferred Shelf Number BC 91 W72 1951 (SET)<br/>Format: Books<br/>Availability Beytepe Library~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-24T15:56:40Z2024-11-24T15:56:40ZAuthor Nicod, Jean, 1893-1924.<br/>Preferred Shelf Number QA 681 N5 1930 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logical studiesent://SD_ILS/0/SD_ILS:725392024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Wright, Georg Henrik von, 1916-<br/>Preferred Shelf Number BC 6 W72 1957 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The foundations of mathematics : and other logical essaysent://SD_ILS/0/SD_ILS:725412024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.<br/>Preferred Shelf Number QA 9 R23 1931<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The nature of mathematics : a critical surveyent://SD_ILS/0/SD_ILS:725422024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Black, Max, 1909-<br/>Preferred Shelf Number QA 9 B62 1933 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The technique of controversy : principles of dynamic logicent://SD_ILS/0/SD_ILS:725432024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Bogoslovsky, Boris Basil, 1890-<br/>Preferred Shelf Number BC 108 B65 1928 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The limits of science : outline of logic and of the methodology of the exact sciencesent://SD_ILS/0/SD_ILS:725572024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-<br/>Preferred Shelf Number Q 175 C494 1948 A (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logic : the theory of formal inferenceent://SD_ILS/0/SD_ILS:7402024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Preferred Shelf Number BC 108 A55 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introduction to logicent://SD_ILS/0/SD_ILS:7482024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor 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-24T15:56:40Z2024-11-24T15:56:40ZAuthor 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-24T15:56:40Z2024-11-24T15:56:40ZAuthor Ackermann, Wilhelm, 1896-<br/>Preferred Shelf Number BC 135 A3 1954<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The logical syntax of languageent://SD_ILS/0/SD_ILS:7552024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor 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:7632024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor 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-24T15:56:40Z2024-11-24T15:56:40ZAuthor Schmidt, H. Arnold, 1902_<br/>Preferred Shelf Number BC 135 S343 1959-<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Mantıkent://SD_ILS/0/SD_ILS:3704462024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Özlem, Doğan.<br/>Preferred Shelf Number BC117.T8 O6 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logic and structureent://SD_ILS/0/SD_ILS:975662024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Dalen, D. van.<br/>Preferred Shelf Number QA 9 D16 2004<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Estetik, ruhbilim, dinsel inanç üstüne dersler ile söyleşilerent://SD_ILS/0/SD_ILS:1045212024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Wittgenstein, Ludwig, 1889-1951. Barett, Cyrill, der. Güçlü, Abdülbaki, çev.<br/>Preferred Shelf Number B 3376.W563 E12 2004<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Modern mantıkent://SD_ILS/0/SD_ILS:1044432024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Şen, Zekai.<br/>Preferred Shelf Number BC 38 S45 2003<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Language, logic, and concepts : Essays in memory of John Macnamaraent://SD_ILS/0/SD_ILS:779772024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Macnamara, John Theodore. Jackendoff, Ray, 1945- ed. Bloom, Paul, 1963- ed. Wynn, Karen, ed.<br/>Preferred Shelf Number BF 201 L36 1999<br/>Format: Books<br/>Availability Beytepe Library~1<br/>An introduction to probability and inductive logicent://SD_ILS/0/SD_ILS:817202024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Hacking, Ian.<br/>Preferred Shelf Number BC 141 H33 2001<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Sembolik mantık el kitabıent://SD_ILS/0/SD_ILS:889372024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Grünberg, Teo.<br/>Preferred Shelf Number BC 135 G969 2000 V.2<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Medieval and renaissance logic in Spain : acts of the 12th European Symposium on Medieval Logic and Semantics, held at the University of Navarre (Pamplona, 26-30 May 1997)ent://SD_ILS/0/SD_ILS:969852024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Angelelli, Ignacio, ed. Perez-Ilzarbe, Paloma, ed.<br/>Preferred Shelf Number BC 39.5.S7 M469 2000<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Chaucer and the Trivium : the mindsong of the Canterbury Talesent://SD_ILS/0/SD_ILS:976262024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Russell, J. Stephen.<br/>Preferred Shelf Number PR 1874 R87 1998<br/>Format: Books<br/>Availability Beytepe Library~1<br/>On Aristotle On interpretation 9ent://SD_ILS/0/SD_ILS:941522024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Ammonius, Hermiae. Boethius, d. 524. In Aristotelis De interpretatione commentarius. Kephalaia 9. English. Blank, David L. Kretzmann, Norman.<br/>Preferred Shelf Number B 439 A5513 1998<br/>Format: Books<br/>Availability Beytepe Library~1<br/>For the sake of the argument : Ramsey Test conditionals, inductive inference, and nonmonotonic reasoningent://SD_ILS/0/SD_ILS:777762024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Levi, Isaac, 1930-<br/>Preferred Shelf Number BC 183 L48 1996<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Deleuze and Guattari : Arzu politikasına girişent://SD_ILS/0/SD_ILS:1030612024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Goodchild, Philip. Öğdül, Rahmi G., çev.<br/>Preferred Shelf Number B 2430.P12 O4 1996<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Mantıkent://SD_ILS/0/SD_ILS:178702024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Özlem, Doğan.<br/>Preferred Shelf Number BC 117.T8 O6 1994<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Axiomatic theory of sets and classesent://SD_ILS/0/SD_ILS:553822024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Eisenberg, Murray.<br/>Preferred Shelf Number QA 248 E37 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Bilgi teorisi ve mantıkent://SD_ILS/0/SD_ILS:8562024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Von Aster, Ernst. Gökberk, Macit, çev.<br/>Preferred Shelf Number BD 161 V89 1994<br/>Format: Books<br/>Availability Beytepe Library~1<br/>To mock mockingbird : and other logic puzzles...ent://SD_ILS/0/SD_ILS:69912024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Smullyan, Raymond Merrill, 1919-<br/>Preferred Shelf Number GV 1507.P43 S68 1985<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Kotarbinski : logic, semantics, and ontologyent://SD_ILS/0/SD_ILS:712332024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Wolenski, J., ed.<br/>Preferred Shelf Number B 4691.K594 K67 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>CMOS/TTL digital systems designent://SD_ILS/0/SD_ILS:725502024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Buchanan, James E.<br/>Preferred Shelf Number TK 7871.99.M4 B83 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Leibniz's philosophy logic and languageent://SD_ILS/0/SD_ILS:3272024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Ishiguro, Hide<br/>Preferred Shelf Number B 2599.L8 I83 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Word and objectent://SD_ILS/0/SD_ILS:6832024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Quine, Willard Van Orman.<br/>Preferred Shelf Number B 840 Q5 1960 W<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Meaning and speech actsent://SD_ILS/0/SD_ILS:400572024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Vanderveken, Daniel.<br/>Preferred Shelf Number P 95.55 V36 1990 V.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Systems of logicent://SD_ILS/0/SD_ILS:7692024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Martin, Norman M.<br/>Preferred Shelf Number BC 135 M325 1989<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Foundations of illocutionary logicent://SD_ILS/0/SD_ILS:202742024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Searle, John R.<br/>Preferred Shelf Number P 95.55 S42 1985<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Mantık terimleri sözlüğüent://SD_ILS/0/SD_ILS:712392024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Grünberg, Teo. Onat, A., ort. yaz.<br/>Preferred Shelf Number REF/BC 9 G924 1989<br/>Format: Books<br/>Availability Beytepe Library~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-24T15:56:40Z2024-11-24T15:56:40ZAuthor Workshop on computer science logic (2nd : 1988 : Duisburg Germany) Büning, H. K., ort. yaz. Richter, M. M., ort. yaz.<br/>Preferred Shelf Number QA 76.9.M35 W67 1988<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Computability and logicent://SD_ILS/0/SD_ILS:717942024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Boolos, George S. Jeffrey, R. C., ort. yaz.<br/>Preferred Shelf Number QA 9.59 B66 1989<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Meaning and inference in medieval philosophy : studies in memory of Jan Pinborgent://SD_ILS/0/SD_ILS:954792024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Pinborg, Jan. Kretzmann, Norman, ed.<br/>Preferred Shelf Number BC 34 M43 1988<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Non-standard logics for automated reasoningent://SD_ILS/0/SD_ILS:460572024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Smets, Philippe, ed. by<br/>Preferred Shelf Number QA 9.4 N65 1988<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Lies language and logic in the late Middle Agesent://SD_ILS/0/SD_ILS:557462024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Spade, Paul Vincent.<br/>Preferred Shelf Number BC 34.S11 L54 1988<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Temporal logic of programsent://SD_ILS/0/SD_ILS:322002024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Kröger, Fred, 1945-<br/>Preferred Shelf Number QA 76.6 K753 1987<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Induction : processes of inference, learning, and discoveryent://SD_ILS/0/SD_ILS:905062024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Holland, John Henry, 1929-<br/>Preferred Shelf Number BF 441 I53 1986<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Studies in post-medieval semanticsent://SD_ILS/0/SD_ILS:975772024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Ashworth, E. J.<br/>Preferred Shelf Number P 106 A78 1985<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Mathematical logic and programming languagesent://SD_ILS/0/SD_ILS:726872024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Hoare, C. A. R., ed. Shepherdson, J. C., ed.<br/>Preferred Shelf Number QA 9 M42 1985<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The rise of British logic : acts of the Sixth European Symposium on Medieval Logic and Semantics, Balliol College, Oxford, 19-24 June 1983ent://SD_ILS/0/SD_ILS:976522024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor European Symposium on Medieval Logic and Semantics (6th : 1983 : Balliol College) Lewry, P. Osmund, ed.<br/>Preferred Shelf Number BC 39.5.G7 E97 1983<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Essays in conceptual analysisent://SD_ILS/0/SD_ILS:8042024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Brotman, H. Flew, A., ed.<br/>Preferred Shelf Number BC 6 E86 1981<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Dictionary of logic : as applied in the study of language : concepts, methods, theoriesent://SD_ILS/0/SD_ILS:170652024-11-24T15:56:40Z2024-11-24T15:56:40ZPreferred Shelf Number REF/BC 9 D48 1981<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introduction to logicent://SD_ILS/0/SD_ILS:7462024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Packard, Dennis J. Faulconer, James E., ort. yaz.<br/>Preferred Shelf Number BC 108 P22 1980<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Logic and philosophy : logique et philosophie ; international institute of philosophy symposium in Düsseldorf, 27 August-1 September 1978ent://SD_ILS/0/SD_ILS:8022024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Wright, G.H., Von. ed.<br/>Preferred Shelf Number BC 51 L58 1980<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Reference and generality : an examination of some medieval and modern theoriesent://SD_ILS/0/SD_ILS:8092024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Geach, Peter Thomas.<br/>Preferred Shelf Number BC 71 G34 1980<br/>Format: Books<br/>Availability Beytepe Library~1<br/>From a logical point view : 9 logico philosophical essaysent://SD_ILS/0/SD_ILS:8112024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Quine, Willard Van Orman.<br/>Preferred Shelf Number BC 71 Q48 1980<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Model theory for model logic : kripke models for modal predicate calculient://SD_ILS/0/SD_ILS:460582024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Bowen, Kenneth A.<br/>Preferred Shelf Number QA 9.46 B68 1979<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logical grammar : with special consideration of topics in context changeent://SD_ILS/0/SD_ILS:199842024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Ballmer, Thomas T. M.<br/>Preferred Shelf Number P 151 B3 1978<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The linguistic basis of logic translationent://SD_ILS/0/SD_ILS:201062024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Otto, Herbert R.<br/>Preferred Shelf Number P 306 O8 1978<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Foundations of logico-linquistics : a unified theory of information, language, and logicent://SD_ILS/0/SD_ILS:201632024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Cooper, William S.<br/>Preferred Shelf Number P 39 C68 1978<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Mantık : lise ders kitapları.ent://SD_ILS/0/SD_ILS:7502024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Milli Eğitim Bakanlığı.<br/>Preferred Shelf Number BC 117.T8 M62 1978<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Modern mantık ve uygulamalarıent://SD_ILS/0/SD_ILS:7992024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Grünberg, Teo. Batuhan, H. ort. yaz. Onart, A. ort. yaz.<br/>Preferred Shelf Number BC 38 G92 1976 K<br/>Format: Books<br/>Availability Beytepe Library~1<br/>De dialecticaent://SD_ILS/0/SD_ILS:971582024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Jackson, Belford Darrell, 1938-, trans. Pinborg, Jan., ed.<br/>Preferred Shelf Number B 655.D42 E54 1975<br/>Format: Books<br/>Availability Beytepe Library~1<br/>An algebraic approach to nonclassical logicsent://SD_ILS/0/SD_ILS:459392024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Rasiowa, Helena.<br/>Preferred Shelf Number QA 10 R37 1974<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Induction and justification : an investigation of cartesian procedure in the philosophy of knowledgeent://SD_ILS/0/SD_ILS:2612024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Will, Frederick L.<br/>Preferred Shelf Number B 1878.K6 W53 1974<br/>Format: Books<br/>Availability Beytepe Library~1<br/>An Outline of mathematical logic : fundamental results and notions explained with all detailsent://SD_ILS/0/SD_ILS:7512024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Grzegorczyk, Andrzej.<br/>Preferred Shelf Number BC 131 G7 1974<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Symbolic logic and mechanical theorem provingent://SD_ILS/0/SD_ILS:460402024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Chang, Chin-Liang, 1937- Lee, R. C., ed.<br/>Preferred Shelf Number QA 9 C49 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Experience and judgment : investigations in a genealogy of logicent://SD_ILS/0/SD_ILS:689532024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Husserl, Edmund, 1859-1938.<br/>Preferred Shelf Number BC 181 H8 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Time and necessity : studies in Aristotle's theory of modalityent://SD_ILS/0/SD_ILS:4922024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Hintikka, Kaarlo Jaakko Juhani, 1929-<br/>Preferred Shelf Number B 491.T5 H56 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logic : the study of deductive reasoningent://SD_ILS/0/SD_ILS:7392024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Yıldırım, Cemal.<br/>Preferred Shelf Number BC 71 Y51 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Symbolic logicent://SD_ILS/0/SD_ILS:7562024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Copi, Irving M.<br/>Preferred Shelf Number BC 135 C58 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Ontology and the vicious-circle principleent://SD_ILS/0/SD_ILS:7962024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Chihara, Charles S., 1932-<br/>Preferred Shelf Number BC 199.V5 C48 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Deductive logic : an introduction to evaluation techniques and logical theoryent://SD_ILS/0/SD_ILS:8082024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Clarke, David S., 1936-<br/>Preferred Shelf Number BC 71 C53 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Fact, fiction, and forecastent://SD_ILS/0/SD_ILS:8152024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Goodman, Nelson.<br/>Preferred Shelf Number BC 91 G66 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A System of logic ratiocinative and inductive : being a connected view of the principles of evidence and the methods of scientific investigationent://SD_ILS/0/SD_ILS:8172024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Mill, John Stuart, 1806-1873. Robson, J. M., ed.<br/>Preferred Shelf Number BC 91 M5 1973-74 C.1-2 V.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Thoughtent://SD_ILS/0/SD_ILS:8412024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Harman, Gilbert.<br/>Preferred Shelf Number BD 161 H28 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Bilgi teorisi ve mantıkent://SD_ILS/0/SD_ILS:831652024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Von Aster, Ernst. Gökberk, Macit, çev.<br/>Preferred Shelf Number BD 161 V89 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Meaning and existence in mathematicsent://SD_ILS/0/SD_ILS:460392024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Castonguay, Charles.<br/>Preferred Shelf Number QA 9 C344 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A mathematical introduction to logicent://SD_ILS/0/SD_ILS:460412024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Enderton, Herbert B.<br/>Preferred Shelf Number QA 9 E54 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Probabilities, problems, and paradoxes : readings in inductive logicent://SD_ILS/0/SD_ILS:697722024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Luckenbach, Sidney A.<br/>Preferred Shelf Number BC 91 L83 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Derivation and counterexample : an introduction to philosophical logicent://SD_ILS/0/SD_ILS:712342024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Lambert, Karel, 1928-<br/>Preferred Shelf Number BC 51 L35 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Theory of science : attemp at a detailed and in the main novel exposition of logic with constant attention to earlier authorsent://SD_ILS/0/SD_ILS:3692024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Bolzano, Bernard, 1781-1848. George, Rolf., ed.<br/>Preferred Shelf Number B 2967.B6 W561 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Elementary logicent://SD_ILS/0/SD_ILS:7722024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Mates, Benson, 1919-<br/>Preferred Shelf Number BC 135 M37 1972 E<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Intentionality, mind and languageent://SD_ILS/0/SD_ILS:7922024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Marras, Ausonio, comp.<br/>Preferred Shelf Number BC 199.I5 M37 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A general interpreted modal calculusent://SD_ILS/0/SD_ILS:7932024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Bressan, Aldo.<br/>Preferred Shelf Number BC 199.M6 B73L 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Peter of Spain (Petrus Hispanus Portuga lensis) : Tractatus ; Called afterwards summule logicalesent://SD_ILS/0/SD_ILS:8062024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Joannes, XXI, Pope, d 1277.<br/>Preferred Shelf Number BC 60 J56 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Lawlikeness, analogy and inductive logicent://SD_ILS/0/SD_ILS:8182024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Pietarinen, Juhani.<br/>Preferred Shelf Number BC 91 P6172 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The principles of empirical or inductive logicent://SD_ILS/0/SD_ILS:8192024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Venn, John, 1834-1923.<br/>Preferred Shelf Number BC 91 V4 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Objective knowledge : an evolutionary approachent://SD_ILS/0/SD_ILS:8512024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Popper, Sir Karl Raimund, 1902-<br/>Preferred Shelf Number BD 161 P727 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The Idea of principle in Leibnitz and the evolution of deductive theoryent://SD_ILS/0/SD_ILS:4752024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Ortega y Gasset, Jose, 1883-1955.<br/>Preferred Shelf Number B 4568.O7 E513 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Recursive function theory and logicent://SD_ILS/0/SD_ILS:26022024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Yasuhara, Ann.<br/>Preferred Shelf Number QA 248.5 Y36 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Eighteenth-century British logic and rhetoricent://SD_ILS/0/SD_ILS:745672024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Howell, Wilbur Samuel, 1904-<br/>Preferred Shelf Number BC 38 H59 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Sets and logicent://SD_ILS/0/SD_ILS:553712024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor 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/>Schriften zur logik und sprach-philosophie Aus dem Nachlass : Mit einleitung,Anmerkungen, Bibliographie und Registerent://SD_ILS/0/SD_ILS:3932024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Frege, Gottlob, 1848-1925.<br/>Preferred Shelf Number B 3245.F2 S69 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logical writingsent://SD_ILS/0/SD_ILS:7602024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor 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 logicent://SD_ILS/0/SD_ILS:7792024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor 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-philosophicusent://SD_ILS/0/SD_ILS:7812024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor 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 readingsent://SD_ILS/0/SD_ILS:7882024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Hilpinen, Risto.<br/>Preferred Shelf Number BC 145 H53 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logic, language, and metaphysicsent://SD_ILS/0/SD_ILS:8032024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Martin, Richard Milton.<br/>Preferred Shelf Number BC 51 M37 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logic for philosophersent://SD_ILS/0/SD_ILS:8102024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Purtill, Richard L., 1931-<br/>Preferred Shelf Number BC 71 P86 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logic, automata, and algorithmsent://SD_ILS/0/SD_ILS:336472024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Aiserman, Mark A.<br/>Preferred Shelf Number QA 267.5.S4 L613 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A profile of mathematical logicent://SD_ILS/0/SD_ILS:460372024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor 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-24T15:56:40Z2024-11-24T15:56:40ZAuthor 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-24T15:56:40Z2024-11-24T15:56:40ZAuthor 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-24T15:56:40Z2024-11-24T15:56:40ZAuthor 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-24T15:56:40Z2024-11-24T15:56:40ZAuthor 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-24T15:56:40Z2024-11-24T15:56:40ZAuthor 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-24T15:56:40Z2024-11-24T15:56:40ZAuthor 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-24T15:56:40Z2024-11-24T15:56:40ZAuthor 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-24T15:56:40Z2024-11-24T15:56:40ZAuthor 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-24T15:56:40Z2024-11-24T15:56:40ZAuthor 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-24T15:56:40Z2024-11-24T15:56:40ZAuthor 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-24T15:56:40Z2024-11-24T15:56:40ZAuthor 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/>Einführung in die operative logik und Mathematikent://SD_ILS/0/SD_ILS:7672024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Lorenzen, Paul.<br/>Preferred Shelf Number BC 135 L6 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introduction to symbolic logicent://SD_ILS/0/SD_ILS:7752024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Pollock, John L.<br/>Preferred Shelf Number BC 135 P68 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>An introduction to mathematical logicent://SD_ILS/0/SD_ILS:460502024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Robinson, Gerson B., 1909-<br/>Preferred Shelf Number QA 9 R72 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Formal and transcendental logicent://SD_ILS/0/SD_ILS:745762024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Husserl, Edmund, 1859-1938.<br/>Preferred Shelf Number BC 122 H813 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Metaphysik, Skepsis, Wissenschaftent://SD_ILS/0/SD_ILS:1682024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Stegmüller,Wolfgang.<br/>Preferred Shelf Number B 113 S78 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logic and philosophy : a modern introductionent://SD_ILS/0/SD_ILS:7452024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Kahane, Howard, 1928-<br/>Preferred Shelf Number BC 108 K3 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Elementare logik (Pradikatenlogik der ersten Stufe)ent://SD_ILS/0/SD_ILS:7712024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Mates, Benson, 1919-<br/>Preferred Shelf Number BC 135 M37 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logic in teachingent://SD_ILS/0/SD_ILS:7892024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Ennis, Robert Hugh, 1927-<br/>Preferred Shelf Number BC 161.T4 E5 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Basic concepts of mathematics and logicent://SD_ILS/0/SD_ILS:460032024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Gemignani, Michael C.<br/>Preferred Shelf Number QA 39 G2846 1968<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introduction to mathematical logicent://SD_ILS/0/SD_ILS:460482024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Mendelson, Elliott.<br/>Preferred Shelf Number QA 9 M4 1964<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logic, methodology and philosophy of science III : proceedingsent://SD_ILS/0/SD_ILS:712302024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor International Congress for Logic, Methodology and Philosophy of Science (3rd : 1967 : Amsterdam) Van Rootselaar, B., ed. Staal, J. F., ed.<br/>Preferred Shelf Number BC 135 I55 1968<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Essays on Fregeent://SD_ILS/0/SD_ILS:310592024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Klemk, E. D., 1928- ed.<br/>Preferred Shelf Number QA 29.F7 K5 1968<br/>Format: Books<br/>Availability Beytepe Library~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-24T15:56:40Z2024-11-24T15:56:40ZAuthor Summer School in Logic (1967 : Leeds, Eng.) Löb, M. H., ed.<br/>Preferred Shelf Number QA 248 SU64 1968<br/>Format: Books<br/>Availability Beytepe Library~1<br/>An introduction to modal logicent://SD_ILS/0/SD_ILS:7442024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Hughes, G. E. Cresswell, M. J., ort. yaz.<br/>Preferred Shelf Number BC 108 H874 1968<br/>Format: Books<br/>Availability Beytepe Library~1<br/>An Introduction to many-valued logicent://SD_ILS/0/SD_ILS:460342024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Ackermann, Robert John, 1933-<br/>Preferred Shelf Number QA 9 A5 1967<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhangigkeit der Kontinuum Hypothese und des Auswahlaxiomsent://SD_ILS/0/SD_ILS:730212024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Jensen, Ronald Björn. Leven, Franz Josef.<br/>Preferred Shelf Number QA 248 J453 1967<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Organonent://SD_ILS/0/SD_ILS:203912024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Aristotle, 384-322, M.Ö. Atademir, Hamdi Ragıp, çev.<br/>Preferred Shelf Number PA 3900.T3 O7 V.1<br/>Format: Books<br/>Availability Beytepe Library~6<br/>Techniques of deductive inferenceent://SD_ILS/0/SD_ILS:7662024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Leblanc, Hugues, 1924-<br/>Preferred Shelf Number BC 135 L36 1966<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logic and algorithms : with applications to the computer and information sciencesent://SD_ILS/0/SD_ILS:460472024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Korfhage, Robert R.<br/>Preferred Shelf Number QA 9 K678 1966<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Essays on Wittgenstein's Tractatusent://SD_ILS/0/SD_ILS:7572024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Copi, Irving M. Beard, Robert W., ed.<br/>Preferred Shelf Number BC 135 C6 1966<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Intuitionism : an introductionent://SD_ILS/0/SD_ILS:7622024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Heyting, Arend, 1898-<br/>Preferred Shelf Number BC 135 H48 1966<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Methods of logicent://SD_ILS/0/SD_ILS:8012024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Quine, Willard Van Orman.<br/>Preferred Shelf Number BC 50 Q8 1966<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A transfinite type with type variablesent://SD_ILS/0/SD_ILS:460352024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Andrews, Peter B.<br/>Preferred Shelf Number QA 9 A64 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A theory of setsent://SD_ILS/0/SD_ILS:555052024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Morse, Anthony Perry.<br/>Preferred Shelf Number QA 248 M67 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introductory real analysisent://SD_ILS/0/SD_ILS:725972024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Munroe, Marshall Evans,d1918-<br/>Preferred Shelf Number QA 300 M9268 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Formal systems and recursive functions : proceedingent://SD_ILS/0/SD_ILS:7682024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Logic Colloquium (8th : 1963 : Oxford).<br/>Preferred Shelf Number BC 135 L8292 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Languages with expressions of infinite lengthent://SD_ILS/0/SD_ILS:7642024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Karp, Carol Ruth.<br/>Preferred Shelf Number BC 135 K148 1964<br/>Format: Books<br/>Availability Beytepe Library~1<br/>An introduction to transformational grammarsent://SD_ILS/0/SD_ILS:199402024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Bach, Emmon W., 1929-<br/>Preferred Shelf Number P 123 B3<br/>Format: Books<br/>Availability Beytepe Library~2<br/>The axiomatic method : an introduction to mathematical logicent://SD_ILS/0/SD_ILS:234782024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Lightstone, A. H.<br/>Preferred Shelf Number QA 248 L53 1964<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Quantification theoryent://SD_ILS/0/SD_ILS:7582024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Faris, John Acheson.<br/>Preferred Shelf Number BC 135 F3 1964<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Prior and posterior analyticsent://SD_ILS/0/SD_ILS:203882024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Aristotle, 384-322. M. Ö.<br/>Preferred Shelf Number PA 3896 A1<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logicent://SD_ILS/0/SD_ILS:7472024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Salmon, Wesley C., 1908-1931<br/>Preferred Shelf Number BC 108 S2 1963<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Communication : a logical modelent://SD_ILS/0/SD_ILS:7592024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Harrah, David.<br/>Preferred Shelf Number BC 135 H33 1963<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The Logical systems of Lesniewskient://SD_ILS/0/SD_ILS:4822024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Luschei, Eugene C.<br/>Preferred Shelf Number B 4691.L44 L8 1962<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The development of mathematical logicent://SD_ILS/0/SD_ILS:7742024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Nidditch, P. H.<br/>Preferred Shelf Number BC 135 N5 1962<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Introduction to logicent://SD_ILS/0/SD_ILS:8072024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Clark, Romane. Welsh, Paul, ort. yaz.<br/>Preferred Shelf Number BC 71 C5 1962<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Grundzüge der mathematischen Logikent://SD_ILS/0/SD_ILS:712382024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Scholz, Heinrich, 1884-1956.<br/>Preferred Shelf Number BC 135 S64 1961<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Inductive probabilityent://SD_ILS/0/SD_ILS:7832024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Day, John Patrick.<br/>Preferred Shelf Number BC 141 D35 1961<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Die Verbindlichkeit der Sprache : Arbeiten zur Sprachphilosophie und Logikent://SD_ILS/0/SD_ILS:553912024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Lipps, Hans, 1889-1941. Busse, Evamaria von, ed.<br/>Preferred Shelf Number P 105 L5 1958<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The growth of logical thinking from childhood to adolescence : an essay on the construction of formal operational structuresent://SD_ILS/0/SD_ILS:14462024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Inhelder, Barbel. Piaget, Jean, ort. yaz.<br/>Preferred Shelf Number BF 721 I473 1958<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Meaning and necessity : a study in semantics and model logicent://SD_ILS/0/SD_ILS:222024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Carnap, Rudolf, 1891-<br/>Preferred Shelf Number B 840 C3 1956<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logic for mathematiciansent://SD_ILS/0/SD_ILS:7772024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Rosser, John Barkley, 1907-<br/>Preferred Shelf Number BC 135 R735 1953<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Advancement of learning : Novum organum : New Atlantisent://SD_ILS/0/SD_ILS:702024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Bacon, Francis, Viscount St.Albans, 1561-1626.<br/>Preferred Shelf Number AC 1 G72 1952 C.30<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The critique of judgementent://SD_ILS/0/SD_ILS:3332024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Kant, Immanuel, 1724-1804.<br/>Preferred Shelf Number B 2783 M541 1952<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The elements of mathematical logicent://SD_ILS/0/SD_ILS:7762024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Rosenbloom, Paul C.<br/>Preferred Shelf Number BC 135 R7236 1950<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logic : the theory of inquiryent://SD_ILS/0/SD_ILS:8002024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Dewey, John, 1859-<br/>Preferred Shelf Number BC 50 D43 1938<br/>Format: Books<br/>Availability Beytepe Library~1<br/>An introduction to logic and scientific methodent://SD_ILS/0/SD_ILS:7422024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Cohen, Morris Raphael, 1880-1947. Nagel, Ernest, ort.yaz.<br/>Preferred Shelf Number BC 108 C6602 1934<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Mantık : Suri ve tatbikient://SD_ILS/0/SD_ILS:1300712024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Yücel, Hasan Âli, 1897-1961<br/>Preferred Shelf Number BC 117.T8 .Y3454 1926<br/>Format: Books<br/>Availability Conservatory Library~1<br/>Introductory logicent://SD_ILS/0/SD_ILS:7432024-11-24T15:56:40Z2024-11-24T15:56:40ZAuthor Creighton, James Edwin, 1861-1924.<br/>Preferred Shelf Number BC 108 C87 1920<br/>Format: Books<br/>Availability Beytepe Library~1<br/>