Search Results for Logic, Symbolic and mathematical -- Congresses.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical$002b--$002bCongresses.$0026ps$003d300?2024-11-18T17:05:13ZLogic Colloquium 2007ent://SD_ILS/0/SD_ILS:2367832024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511778421">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium 2006ent://SD_ILS/0/SD_ILS:2377752024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511605321">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium 2005ent://SD_ILS/0/SD_ILS:2366312024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor Dimitracopoulos, Costas. Newelski, Ludomir. Normann, Dag. Steel, John R..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511546464">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, methodology, and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991ent://SD_ILS/0/SD_ILS:2565552024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, Dag, 1946-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444893413">http://www.sciencedirect.com/science/book/9780444893413</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988ent://SD_ILS/0/SD_ILS:2569582024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor Logic Colloquium (1988 : Padova, Italy) Ferro, R. (Ruggero)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874559">http://www.sciencedirect.com/science/book/9780444874559</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987ent://SD_ILS/0/SD_ILS:2570892024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor Logic Colloquium (1987 : Granada, Spain) Ebbinghaus, Heinz-Dieter, 1939-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444880222">http://www.sciencedirect.com/science/book/9780444880222</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981ent://SD_ILS/0/SD_ILS:2569552024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor Southeast Asian Conference on Logic (1981 : Singapore) Chong, C.-T. (Chi-Tat), 1949- Wicks, M. J. (Malcolm John), 1928-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444867063">http://www.sciencedirect.com/science/book/9780444867063</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979ent://SD_ILS/0/SD_ILS:2569522024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) Cohen, L. Jonathan (Laurence Jonathan)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444854230">http://www.sciencedirect.com/science/book/9780444854230</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981ent://SD_ILS/0/SD_ILS:2569532024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor Logic Colloquium (1981 : Marseille, France) Stern, Jacques, 1949- Herbrand, Jacques, 1908-1931.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864178">http://www.sciencedirect.com/science/book/9780444864178</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980ent://SD_ILS/0/SD_ILS:2570862024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor Logic Symposion (1980 : Pátrai, Greece) Metakides, George, 1945-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864765">http://www.sciencedirect.com/science/book/9780444864765</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978ent://SD_ILS/0/SD_ILS:2572602024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile) Arruda, A. I. (Ayda Ignez) Chuaqui, R. Costa, Newton C. A. da.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444854025">http://www.sciencedirect.com/science/book/9780444854025</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978ent://SD_ILS/0/SD_ILS:2572332024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor Logic Colloquium (1978 : Mons, Belgium) Boffa, Maurice. Dalen, D. van (Dirk), 1932- McAloon, Kenneth.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444853783">http://www.sciencedirect.com/science/book/9780444853783</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977ent://SD_ILS/0/SD_ILS:2572592024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor Logic Colloquium (1977 : Wrocław, Poland) Macintyre, Angus. Pacholski, Leszek. Paris, J. B. (Jeff B.)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444851789">http://www.sciencedirect.com/science/book/9780444851789</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976ent://SD_ILS/0/SD_ILS:2573062024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor Logic Colloquium (1976 : Oxford) Gandy, R. O. (Robin O.) Hyland, John Martin Elliott.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720406917">http://www.sciencedirect.com/science/book/9780720406917</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Truth, syntax and modality proceedings of the Temple University Conference on Alternative Semanticsent://SD_ILS/0/SD_ILS:2572372024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor Conference on Alternative Semantics (1970 : Temple University) Leblanc, Hugues, 1924- Temple University. College of Liberal Arts. Association for Symbolic Logic.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422696">http://www.sciencedirect.com/science/book/9780720422696</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971ent://SD_ILS/0/SD_ILS:2573022024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania) Suppes, Patrick, 1922- International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science. Academia Republicii Socialiste România.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104915">http://www.sciencedirect.com/science/book/9780444104915</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Contributions to non-standard analysisent://SD_ILS/0/SD_ILS:2573642024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor Symposium on Non-standard Analysis (1970 : Oberwolfach, Germany) Luxemburg, W. A. J., 1929- Robinson, Abraham, 1918-1974, ed.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720420654">http://www.sciencedirect.com/science/book/9780720420654</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of the Second Scandinavian Logic Symposiument://SD_ILS/0/SD_ILS:2572222024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor Scandinavian Logic Symposium (2nd : 1970 : University of Oslo) Fenstad, Jens Erik, ed. Association for Symbolic Logic.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422597">http://www.sciencedirect.com/science/book/9780720422597</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical logic and foundations of set theory Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.ent://SD_ILS/0/SD_ILS:2572312024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem) Bar-Hillel, Yehoshua. Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim. International Mathematical Union. Einstein Institute of Mathematics.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422559">http://www.sciencedirect.com/science/book/9780720422559</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intuitionism and proof theory Proceedings of the summer conference ; Aug 1968ent://SD_ILS/0/SD_ILS:2572452024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo) Kino, A. Myhill, John, 1923-1987. Vesley, Richard Eugene, 1932-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422573">http://www.sciencedirect.com/science/book/9780720422573</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966ent://SD_ILS/0/SD_ILS:2573182024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor Logic Colloquium (11th : 1966 : Hannover, Germany) Schmidt, H. Arnold. Schütte, K. (Kurt)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534149">http://www.sciencedirect.com/science/book/9780444534149</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965ent://SD_ILS/0/SD_ILS:2572862024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534101">http://www.sciencedirect.com/science/book/9780444534101</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, methodology and philosophy of science proceedings of the 1960 international congressent://SD_ILS/0/SD_ILS:2572852024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor International Congress of Logic, Methodology, and Philosophy of Science (1960) Nagel, Ernest, 1901-1985. Suppes, Patrick, 1922- Tarski, Alfred.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780804700962">http://www.sciencedirect.com/science/book/9780804700962</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal systems and recursive functionsent://SD_ILS/0/SD_ILS:2572832024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor Crossley, John N. Dummett, Michael, 1925-2011.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534057">http://www.sciencedirect.com/science/book/9780444534057</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The axiomatic methodent://SD_ILS/0/SD_ILS:2573172024-11-18T17:05:13Z2024-11-18T17:05:13ZAuthor Henkin, Leon. Suppes, Patrick, 1922- Tarski, Alfred.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533920">http://www.sciencedirect.com/science/book/9780444533920</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>