Search Results for Mathematical logic.SirsiDynix Enterprisehttps://bilge.isikun.edu.tr/client/tr_TR/default/default/qu$003dMathematical$002blogic.$0026ps$003d300?dt=list2024-11-13T01:12:22ZMathematical logicent://SD_ILS/0/SD_ILS:20046902024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Ebbinghaus, Heinz-Dieter. Flum, Jörg. Thomas, Wolfgang, 1947-<br/>Yer Numarası QA9 .E22 1994<br/>ISBN 9780387942582 9783540942580<br/>Format: Books<br/>Mathematical Logicent://SD_ILS/0/SD_ILS:19373442024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Monk, J.D. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781468494525<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4684-9452-5">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Mathematical Logicent://SD_ILS/0/SD_ILS:18947132024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. Thomas, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783030738396<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-73839-6">Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages</a><br/>Format: Electronic Resources<br/>Mathematical Logicent://SD_ILS/0/SD_ILS:19340382024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Ebbinghaus, H.-D. author. Flum, J. author. Thomas, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781475723557<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4757-2355-7">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Mathematical Logicent://SD_ILS/0/SD_ILS:19325322024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Petkov, Petio P. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461306092<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-0609-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>First order mathematical logicent://SD_ILS/0/SD_ILS:20046942024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Margaris, Angelo.<br/>Yer Numarası QA9 .M32 1990<br/>ISBN 9780486662695<br/>Elektronik Erişim <a href="http://www.loc.gov/catdir/description/dover032/89029569.html">Publisher description</a>
<a href="http://www.loc.gov/catdir/toc/dover031/89029569.html">Table of contents</a><br/>Format: Books<br/>Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:19371262024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Hermes, Hans. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642871320<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-87132-0">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Archive for Mathematical Logicent://SD_ILS/0/SD_ILS:19850422024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Schindler, Ralf. editor. Springer Journals SpringerLink Journals SpringerLink (Online service)<br/>Yer Numarası XX(1985042.1)<br/>ISSN 14320665<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/153.1432-0665">Full Text Available From SpringerLink Journals</a><br/>Format: Electronic Resources<br/>Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:19597372024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Mendelsohn, Elliot. author. SpringerLink (Online service)<br/>Yer Numarası H1 -99<br/>ISBN 9781461572886<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-7288-6">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Philosophical and Mathematical Logicent://SD_ILS/0/SD_ILS:18684262024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar de Swart, Harrie. author. SpringerLink (Online service)<br/>Yer Numarası BD143 -237<br/>ISBN 9783030032555<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-03255-5">Full Text Available From Springer Nature Religion and Philosophy 2018 Packages</a><br/>Format: Electronic Resources<br/>Mathematical Principles of Fuzzy Logicent://SD_ILS/0/SD_ILS:19180432024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Novák, Vilém. author. Perfilieva, Irina. author. Mockor, J. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461552178<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-5217-8">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>A Course in Mathematical Logicent://SD_ILS/0/SD_ILS:19373052024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Manin, Yu.I. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781475743852<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4757-4385-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>A Course on Mathematical Logicent://SD_ILS/0/SD_ILS:18884142024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Srivastava, Shashi Mohan. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9780387762777<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-0-387-76277-7">Full Text Available From Springer Nature Mathematics and Statistics 2008 Packages</a><br/>Format: Electronic Resources<br/>Mathematical Logic and Its Applicationsent://SD_ILS/0/SD_ILS:19327802024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Skordev, Dimiter G. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461308973<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-0897-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>A Course on Mathematical Logicent://SD_ILS/0/SD_ILS:18905612024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Srivastava, Shashi Mohan. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461457466<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4614-5746-6">Full Text Available From Springer Nature Mathematics and Statistics 2013 Packages</a><br/>Format: Electronic Resources<br/>A Precis of Mathematical Logicent://SD_ILS/0/SD_ILS:19586942024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Bochenski, J.M. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401705929<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-0592-9">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Mathematical Logic for Computer Scienceent://SD_ILS/0/SD_ILS:18814182024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Ben-Ari, Mordechai. author. SpringerLink (Online service)<br/>Yer Numarası QA267 -268.5<br/>ISBN 9781447141297<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4471-4129-7">Full Text Available From Springer Nature Computer Science 2012 Packages</a><br/>Format: Electronic Resources<br/>Mathematical Logic for Computer Scienceent://SD_ILS/0/SD_ILS:19275322024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Ben-Ari, Mordechai. author. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>ISBN 9781447103356<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4471-0335-6">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Ω-Bibliography of Mathematical Logic Model Theoryent://SD_ILS/0/SD_ILS:19368762024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Ebbinghaus, Heinz-Dieter. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783662090589<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-09058-9">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Petr Hájek on Mathematical Fuzzy Logicent://SD_ILS/0/SD_ILS:18914552024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Montagna, Franco. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319062334<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-06233-4">Full Text Available From Springer Nature Mathematics and Statistics 2015 Packages</a><br/>Format: Electronic Resources<br/>A Concise Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:18891632024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781441912213<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4419-1221-3">Full Text Available From Springer Nature Mathematics and Statistics 2010 Packages</a><br/>Format: Electronic Resources<br/>Mathematical Logic Foundations for Information Scienceent://SD_ILS/0/SD_ILS:18804372024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Li, Wei. author. SpringerLink (Online service)<br/>Yer Numarası QA267 -268.5<br/>ISBN 9783764399771<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-7643-9977-1">Full Text Available From Springer Nature Computer Science 2010 Packages</a><br/>Format: Electronic Resources<br/>Mathematical Logic Foundations for Information Scienceent://SD_ILS/0/SD_ILS:18908182024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Li, Wei. author. SpringerLink (Online service)<br/>Yer Numarası QA267 -268.5<br/>ISBN 9783034808620<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-0348-0862-0">Full Text Available From Springer Nature Mathematics and Statistics 2014 Packages</a><br/>Format: Electronic Resources<br/>A Concise Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:18877452024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası T57 -57.97<br/>ISBN 9780387342412<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/0-387-34241-9">Full Text Available From Springer Nature Mathematics and Statistics 2006 Packages</a><br/>Format: Electronic Resources<br/>Conference in Mathematical Logic - London '70ent://SD_ILS/0/SD_ILS:19319502024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Hodges, W. editor. SpringerLink (Online service)<br/>Yer Numarası QA1 -939<br/>ISBN 9783540371625<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0059533">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Mathematical aspects of logic programming semanticsent://SD_ILS/0/SD_ILS:20147272024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Hitzler, Pascal., author. Seda, Anthony. Taylor & Francis Group Taylor & Francis e-Books<br/>Yer Numarası QA76.63 .H58 2011<br/>ISBN 9780429094231 9781466534162<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1201/b1039">Full Text Available From Taylor & Francis Open Access e-Books</a><br/>Format: Books<br/>An Algebraic Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:19373162024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Barnes, D.W. author. Mack, J.M. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781475744897<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4757-4489-7">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Mathematical Logic An Introduction to Model Theoryent://SD_ILS/0/SD_ILS:19329752024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Lightstone, A. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461587507<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-8750-7">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Logic Mathematical Tools for Approximate Reasoningent://SD_ILS/0/SD_ILS:19375392024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Gerla, G. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401596602<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-015-9660-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Perspectives on the History of Mathematical Logicent://SD_ILS/0/SD_ILS:19339762024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Drucker, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası QA21 -27<br/>ISBN 9780817647698<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-0-8176-4769-8">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>A Course in Mathematical Logic for Mathematiciansent://SD_ILS/0/SD_ILS:18893032024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Manin, Yu. I. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781441906151<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4419-0615-1">Full Text Available From Springer Nature Mathematics and Statistics 2010 Packages</a><br/>Format: Electronic Resources<br/>Course of Mathematical Logic Volume 2 Model Theoryent://SD_ILS/0/SD_ILS:19599892024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Fraïssé, R. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401020978<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-2097-8">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Strict Finitism and the Logic of Mathematical Applicationsent://SD_ILS/0/SD_ILS:18480682024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Ye, Feng. author. SpringerLink (Online service)<br/>Yer Numarası Q174 -175.3<br/>ISBN 9789400713475<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-007-1347-5">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2011 Packages</a><br/>Format: Electronic Resources<br/>Mathematical Logic On Numbers, Sets, Structures, and Symmetryent://SD_ILS/0/SD_ILS:18684072024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Kossak, Roman. author. SpringerLink (Online service)<br/>Yer Numarası QA8 -10.4<br/>ISBN 9783319972985<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-97298-5">Full Text Available From Springer Nature Religion and Philosophy 2018 Packages</a><br/>Format: Electronic Resources<br/>Mathematical Logic and Model Theory A Brief Introductionent://SD_ILS/0/SD_ILS:18893902024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Prestel, Alexander. author. Delzell, Charles N. author. SpringerLink (Online service)<br/>Yer Numarası QA1 -939<br/>ISBN 9781447121763<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4471-2176-3">Full Text Available From Springer Nature Mathematics and Statistics 2011 Packages</a><br/>Format: Electronic Resources<br/>Martin Davis on Computability, Computational Logic, and Mathematical Foundationsent://SD_ILS/0/SD_ILS:18676642024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Omodeo, Eugenio G. editor. Policriti, Alberto. editor. (orcid)0000-0001-8502-5896 SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783319418421<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-41842-1">Full Text Available From Springer Nature Religion and Philosophy 2016 Packages</a><br/>Format: Electronic Resources<br/>Studies in Constructive Mathematics and Mathematical Logic Part Ient://SD_ILS/0/SD_ILS:19363792024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Slisenko, A. O. editor. SpringerLink (Online service)<br/>Yer Numarası H1 -99<br/>ISBN 9781468489682<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4684-8968-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Introduction to Mathematical Logic Set Theory Computable Functions Model Theoryent://SD_ILS/0/SD_ILS:19329672024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Malitz, Jerome. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461394419<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-9441-9">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>A Course in Model Theory An Introduction to Contemporary Mathematical Logicent://SD_ILS/0/SD_ILS:19311822024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Poizat, Bruno. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781441986221<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4419-8622-1">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Mathematical Problems from Applied Logic II Logics for the XXIst Centuryent://SD_ILS/0/SD_ILS:18880782024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Gabbay, Dov. editor. Goncharov, Sergei. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9780387692456<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-0-387-69245-6">Full Text Available From Springer Nature Mathematics and Statistics 2007 Packages</a><br/>Format: Electronic Resources<br/>Problems in Set Theory, Mathematical Logic and the Theory of Algorithmsent://SD_ILS/0/SD_ILS:19333552024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Lavrov, Igor. author. Maksimova, Larisa. author. Corsi, G. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461501855<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-0185-5">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Mathematical Problems from Applied Logic I Logics for the XXIst Centuryent://SD_ILS/0/SD_ILS:18879022024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9780387310725<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/0-387-31072-X">Full Text Available From Springer Nature Mathematics and Statistics 2006 Packages</a><br/>Format: Electronic Resources<br/>An Introduction to Mathematical Logic and Type Theory To Truth Through Proofent://SD_ILS/0/SD_ILS:19335442024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Andrews, Peter B. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401599344<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-015-9934-4">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Mathematical Logic and Applications Proceedings of the Logic Meeting held in Kyoto, 1987ent://SD_ILS/0/SD_ILS:19343242024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Shinoda, Juichi. editor. Slaman, Theodore A. editor. Tugue, Tosiyuki. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540482208<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0083663">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IVent://SD_ILS/0/SD_ILS:18888292024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781402090844<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4020-9084-4">Full Text Available From Springer Nature Mathematics and Statistics 2009 Packages</a><br/>Format: Electronic Resources<br/>Mathematics of the 19th Century Mathematical Logic Algebra Number Theory Probability Theoryent://SD_ILS/0/SD_ILS:19331402024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar KOLMOGOROV. author. YUSHKEVICH. author. SpringerLink (Online service)<br/>Yer Numarası QA21 -27<br/>ISBN 9783034851121<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-0348-5112-1">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>An Outline of Mathematical Logic Fundamental Results and Notions Explained with all Detailsent://SD_ILS/0/SD_ILS:19564272024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Grzegorczyk, Andrzej. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401021128<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-2112-8">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguisticsent://SD_ILS/0/SD_ILS:19375362024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Löwe, Benedikt. editor. Malzkorn, Wolfgang. editor. Räsch, Thoralf. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401703956<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-0395-6">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Modern Logic - A Survey Historical, Philosophical and Mathematical Aspects of Modern Logic and its Applicationsent://SD_ILS/0/SD_ILS:19609902024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Agazzi, E. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400990562<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-9056-2">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Cambridge Summer School in Mathematical Logic Held in Cambridge /U. K., August 1-21, 1971ent://SD_ILS/0/SD_ILS:19347592024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Mathias, A. R. D. editor. Rogers, H. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540368847<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0066770">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Algebra and Logic Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australiaent://SD_ILS/0/SD_ILS:19323192024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Crossley, J.N. editor. SpringerLink (Online service)<br/>Yer Numarası QA150 -272<br/>ISBN 9783540374800<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0062849">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Advances in Mathematical Logic Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributionsent://SD_ILS/0/SD_ILS:18947862024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Arai, Toshiyasu. editor. Kikuchi, Makoto. editor. Kuroda, Satoru. editor. Okada, Mitsuhiro. editor. (orcid)0000-0001-9117-4935 Yorioka, Teruyuki. editor.<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789811641732<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-16-4173-2">Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages</a><br/>Format: Electronic Resources<br/>Classification Theory Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic Held in Chicago, Dec. 15-19, 1985ent://SD_ILS/0/SD_ILS:19360122024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Baldwin, John T. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540480495<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0082228">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Methods in Mathematical Logic Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983ent://SD_ILS/0/SD_ILS:19364952024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Di Prisco, Carlos A. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540394143<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0075303">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Essays on Mathematical and Philosophical Logic Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29-July 6, 1976ent://SD_ILS/0/SD_ILS:19566072024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Hintikka, Jaakko. editor. Niiniluoto, I. editor. Saarinen, Esa. editor. SpringerLink (Online service)<br/>Yer Numarası Q174 -175.3<br/>ISBN 9789400998254<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-9825-4">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Aspects of Mathematical Logic Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968ent://SD_ILS/0/SD_ILS:18895842024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Casari, E. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642110801<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-11080-1">Full Text Available From Springer Nature Mathematics and Statistics 2011 Packages</a><br/>Format: Electronic Resources<br/>Set Theoryent://SD_ILS/0/SD_ILS:19341502024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Jech, Thomas. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783662224007<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-22400-7">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Finite Model Theory First Editionent://SD_ILS/0/SD_ILS:19360002024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783662031827<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-03182-7">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>The Axiom of Constructibility A Guide for the Mathematicianent://SD_ILS/0/SD_ILS:19329442024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Devlin, K. J. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540370345<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0070208">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Recursion on the Countable Functionalsent://SD_ILS/0/SD_ILS:19351962024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Normann, D. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540381709<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0098600">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Injective Choice Functionsent://SD_ILS/0/SD_ILS:19347692024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Holz, Michael. author. Podewski, Klaus-Peter. author. Steffens, Karsten. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540474265<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0072628">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Techniques of Admissible Recursion Theoryent://SD_ILS/0/SD_ILS:19347042024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Chong, C. T. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540391210<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0099164">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Cylindric Set Algebrasent://SD_ILS/0/SD_ILS:19381742024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Henkin, L. author. Monk, J. D. author. Tarski, A. author. Andreka, H. author. Nemeti, I. author.<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540387909<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0095612">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Metamathematical Investigation of Intuitionistic Arithmetic and Analysisent://SD_ILS/0/SD_ILS:19359582024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Troelstra, Anne S. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540378068<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0066739">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Nonstandard Analysis - Recent Developmentsent://SD_ILS/0/SD_ILS:19360412024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Hurd, A.E. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540396024<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0065331">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Around Classification Theory of Modelsent://SD_ILS/0/SD_ILS:19360702024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Shelah, Saharon. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540397885<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0098503">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Decidable Theories Vol. 1: Büchi`s Monadic Second Order Successor Arithmeticent://SD_ILS/0/SD_ILS:19357612024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Siefkes, Dirk. author. Müller, Gert H. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540362524<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0061047">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Model Theory : An Introductionent://SD_ILS/0/SD_ILS:19338142024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Marker, David. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9780387227344<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/b98860">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>The Homology of Iterated Loop Spacesent://SD_ILS/0/SD_ILS:19363762024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Cohen, F. R. author. Lada, T. J. author. May, P. J. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540379850<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0080464">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Infinitary Logic In Memoriam Carol Karpent://SD_ILS/0/SD_ILS:19363682024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Kueker, D. W. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540379492<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0081118">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Perspectives of Elementary Mathematicsent://SD_ILS/0/SD_ILS:19353472024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Hochschild, G.P. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461255673<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4612-5567-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Proceedings of the Summer School in Logik, Leeds, 1967 N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logicent://SD_ILS/0/SD_ILS:19342902024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Löb, Martin H. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540358862<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0079093">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Nonstandard Asymptotic Analysisent://SD_ILS/0/SD_ILS:19358042024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Berg, Imme van den. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540478102<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0077577">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Naive Set Theoryent://SD_ILS/0/SD_ILS:19329602024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Halmos, P. R. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781475716450<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4757-1645-0">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Proper Forcingent://SD_ILS/0/SD_ILS:19370112024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Shelah, S. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783662215432<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-21543-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Notes on Set Theoryent://SD_ILS/0/SD_ILS:19320352024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Moschovakis, Yiannis. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781475741537<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4757-4153-7">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Decidable Theories Vol. 2: The Monadic Second Order Theory of All Countable Ordinalsent://SD_ILS/0/SD_ILS:19380942024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Büchi, J.R. author. Siefkes, D. author. Müller, G.H. editor. Siefkes, D. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540469469<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0082720">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>The Enumerative Theory of Conics after Halphenent://SD_ILS/0/SD_ILS:19380212024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Casas-Alvero, Eduardo. author. Xambo-Descamps, Sebastian. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540398325<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0076501">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studiesent://SD_ILS/0/SD_ILS:19382042024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Buchholz, W. author. Feferman, S. author. Pohlers, W. author. Sieg, W. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540386490<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0091894">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Mathematical Aspects of Scientific Softwareent://SD_ILS/0/SD_ILS:19318842024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Rice, J.R. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781468470741<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4684-7074-1">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>First Order Categorical Logic Model-Theoretical Methods in the Theory of Topoi and Related Categoriesent://SD_ILS/0/SD_ILS:19323462024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Makkai, M. author. Reyes, G.E. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540371007<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0066201">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Théorie des ensemblesent://SD_ILS/0/SD_ILS:18878122024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Bourbaki, N. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540340355<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-540-34035-5">Full Text Available From Springer Nature Mathematics and Statistics 2006 Packages</a><br/>Format: Electronic Resources<br/>Axiomatic Set Theoryent://SD_ILS/0/SD_ILS:19372882024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Takeuti, G. author. Zaring, W.M. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781468487510<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4684-8751-0">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Introduction to Axiomatic Set Theoryent://SD_ILS/0/SD_ILS:19373722024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Takeuti, G. author. Zaring, W.M. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461381686<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-8168-6">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Topics in Set Theory Lebesgue Measurability, Large Cardinals, Forcing Axioms, Rho-functionsent://SD_ILS/0/SD_ILS:19344082024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Bekkali, Mohamed. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540474227<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0098398">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Cabal Seminar 79-81 Proceedings. Caltech-UCLA Logic Seminar 1979-81ent://SD_ILS/0/SD_ILS:19309282024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Kechris, A. S. editor. Martin, D. A. editor. Moschovakis, Y. N. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540386803<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0071690">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Cabal Seminar 77 - 79 Proceedings, Caltech-UCLA Logic Seminar 1977 - 79ent://SD_ILS/0/SD_ILS:19359392024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Kechris, A. S. editor. Martin, D. A. editor. Moschovakis, Y. N. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540384229<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0090233">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>An Outline of Set Theoryent://SD_ILS/0/SD_ILS:19343622024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Henle, James M. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461386803<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-8680-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Lectures on Boolean Algebrasent://SD_ILS/0/SD_ILS:19366052024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Givant, Steven. author. Halmos, P.R. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461298557<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4612-9855-7">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Incompleteness for Higher-Order Arithmetic An Example Based on Harrington's Principleent://SD_ILS/0/SD_ILS:18936042024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Cheng, Yong. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789811399497<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-13-9949-7">Full Text Available From Springer Nature Mathematics and Statistics 2019 Packages</a><br/>Format: Electronic Resources<br/>Set Theory and Model Theory Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979ent://SD_ILS/0/SD_ILS:19341212024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Jensen, R.B. editor. Prestel, A. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540387572<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0098616">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Cabal Seminar 81-85 Proceedings. Caltech-UCLA Logic Seminar 1981-85ent://SD_ILS/0/SD_ILS:19381262024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Kechris, Alexander. editor. Martin, Donald A. editor. Steel, John R. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540458968<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0084966">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Logic Year 1979-80 The University of Connecticut, USAent://SD_ILS/0/SD_ILS:19344462024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Lerman, M. editor. Schmerl, J.H. editor. Soare, R.I. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540386735<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0090934">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Great Circle of Mysteries Mathematics, the World, the Mindent://SD_ILS/0/SD_ILS:18928662024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Gromov, Misha. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319530499<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-53049-9">Full Text Available From Springer Nature Mathematics and Statistics 2018 Packages</a><br/>Format: Electronic Resources<br/>Completeness Theory for Propositional Logicsent://SD_ILS/0/SD_ILS:18885632024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Pogorzelski, Witold A. author. Wojtylak, Piotr. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783764385187<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-7643-8518-7">Full Text Available From Springer Nature Mathematics and Statistics 2008 Packages</a><br/>Format: Electronic Resources<br/>Symposium on Automatic Demonstration Held at Versailles/France, Decembre 1968ent://SD_ILS/0/SD_ILS:19313262024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Laudet, M. editor. Lacombe, D. editor. Nolin, L. editor. Schützenberger, M. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540362623<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0060620">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Advanced Łukasiewicz calculus and MV-algebrasent://SD_ILS/0/SD_ILS:18897722024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Mundici, D. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789400708402<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-007-0840-2">Full Text Available From Springer Nature Mathematics and Statistics 2011 Packages</a><br/>Format: Electronic Resources<br/>Combinatorial Set Theory With a Gentle Introduction to Forcingent://SD_ILS/0/SD_ILS:18898902024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Halbeisen, Lorenz J. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781447121732<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4471-2173-2">Full Text Available From Springer Nature Mathematics and Statistics 2012 Packages</a><br/>Format: Electronic Resources<br/>Theory of Setsent://SD_ILS/0/SD_ILS:19327282024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Bourbaki, N. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642593093<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-59309-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>First-Order Logicent://SD_ILS/0/SD_ILS:19362842024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Smullyan, Raymond R. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642867187<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-86718-7">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Logic and Structureent://SD_ILS/0/SD_ILS:18906012024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar van Dalen, Dirk. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781447145585<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4471-4558-5">Full Text Available From Springer Nature Mathematics and Statistics 2013 Packages</a><br/>Format: Electronic Resources<br/>Gödel's Theorems and Zermelo's Axioms A Firm Foundation of Mathematicsent://SD_ILS/0/SD_ILS:18942512024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Halbeisen, Lorenz. author. Krapf, Regula. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783030522797<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-52279-7">Full Text Available From Springer Nature Mathematics and Statistics 2020 Packages</a><br/>Format: Electronic Resources<br/>ISILC - Logic Conference Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974ent://SD_ILS/0/SD_ILS:19378322024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Müller, G. H. editor. Oberschelp, A. editor. Potthoff, K. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540380221<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0079414">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Constructive Mathematics Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980ent://SD_ILS/0/SD_ILS:19336092024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Richman, F. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540387596<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0090721">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Set Theory Exploring Independence and Truthent://SD_ILS/0/SD_ILS:18908562024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Schindler, Ralf. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319067254<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-06725-4">Full Text Available From Springer Nature Mathematics and Statistics 2014 Packages</a><br/>Format: Electronic Resources<br/>Logic and Structureent://SD_ILS/0/SD_ILS:19331992024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar van Dalen, Dirk. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540851080<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-540-85108-0">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Logic and Structureent://SD_ILS/0/SD_ILS:19351032024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Dalen, Dirk van. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783662023822<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-02382-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Logic and Structureent://SD_ILS/0/SD_ILS:19318462024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Dalen, Dirk van. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783662084021<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-08402-1">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>A Set Theory Workbookent://SD_ILS/0/SD_ILS:19332552024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Adamson, Iain. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9780817681388<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-0-8176-8138-8">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Recursion Theory Week Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989ent://SD_ILS/0/SD_ILS:19361952024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Ambos-Spies, Klaus. editor. Müller, Gert H. editor. Sacks, Gerald E. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540471424<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0086109">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 Part 1: Models and Setsent://SD_ILS/0/SD_ILS:19382392024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Müller, G. H. editor. Richter, M. M. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540391159<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0099377">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Recursion Theory Week Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984ent://SD_ILS/0/SD_ILS:19373362024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Ebbinghaus, Heinz-Dieter. editor. Müller, Gert H. editor. Sacks, Gerald E. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540395966<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0076211">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Self-Reference and Modal Logicent://SD_ILS/0/SD_ILS:19317842024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Smorynski, Craig. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461386018<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-8601-8">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Foundations of Constructive Mathematics Metamathematical Studiesent://SD_ILS/0/SD_ILS:19382022024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Beeson, M.J. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642689529<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-68952-9">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebraent://SD_ILS/0/SD_ILS:19319332024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Cox, David. author. Little, John. author. OSHEA, DONAL. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781475726930<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4757-2693-0">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 Part 2: Computation and Proof Theoryent://SD_ILS/0/SD_ILS:19382462024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Richter, M. M. editor. Börger, E. editor. Oberschelp, W. editor. Schinzel, B. editor. Thomas, W. editor.<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540391197<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0099476">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Propositional and Predicate Calculus: A Model of Argumentent://SD_ILS/0/SD_ILS:18875612024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Goldrei, Derek. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781846282294<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/1-84628-229-2">Full Text Available From Springer Nature Mathematics and Statistics 2015 Packages</a><br/>Format: Electronic Resources<br/>Set Theory of the Continuument://SD_ILS/0/SD_ILS:19367652024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Judah, Haim. editor. Just, Winfried. editor. Woodin, Hugh. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461397540<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-9754-0">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>ISILC - Proof Theory Symposion Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974ent://SD_ILS/0/SD_ILS:19337272024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Diller, J. editor. Müller, G.H. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540380207<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0079542">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Zermelo's Axiom of Choice Its Origins, Development, and Influenceent://SD_ILS/0/SD_ILS:19361632024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Moore, G.H. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461394785<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-9478-5">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Algebra for Computer Scienceent://SD_ILS/0/SD_ILS:19360472024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Garding, Lars. author. Tambour, Torbjörn. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461387978<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-8797-8">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Towards an Arithmetical Logic The Arithmetical Foundations of Logicent://SD_ILS/0/SD_ILS:18916392024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Gauthier, Yvon. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319220871<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-22087-1">Full Text Available From Springer Nature Mathematics and Statistics 2015 Packages</a><br/>Format: Electronic Resources<br/>Sets and integration An outline of the developmentent://SD_ILS/0/SD_ILS:19309612024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar van Dalen, D. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401027182<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-2718-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Fundamentals of Contemporary Set Theoryent://SD_ILS/0/SD_ILS:19326012024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Devlin, K. J. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781468400847<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4684-0084-7">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Model Theory and Arithmetic Comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'Arithmetique, Paris, France, 1979/80ent://SD_ILS/0/SD_ILS:19372502024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Berline, C. editor. McAloon, K. editor. Ressayre, J.-P. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540386292<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0095651">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Adaptive and Learning Systems Theory and Applicationsent://SD_ILS/0/SD_ILS:19318682024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Narendra, Kumpati S. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781475718959<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4757-1895-9">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Advances in Fuzzy Sets, Possibility Theory, and Applicationsent://SD_ILS/0/SD_ILS:19317432024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Wang, P.P. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461337546<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-3754-6">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Model Theory and Applications Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 20-28, 1975ent://SD_ILS/0/SD_ILS:18896812024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Mangani, P. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642111211<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-11121-1">Full Text Available From Springer Nature Mathematics and Statistics 2011 Packages</a><br/>Format: Electronic Resources<br/>The Beauty of Fractals Images of Complex Dynamical Systemsent://SD_ILS/0/SD_ILS:19331542024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Peitgen, Heinz-Otto. author. Richter, Peter H. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642617171<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-61717-1">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>7th International Conference on Automated Deduction Proceedingsent://SD_ILS/0/SD_ILS:19222722024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Shostak, R. E. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9780387347684<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-0-387-34768-4">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Recursion Theory and Computational Complexity Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979ent://SD_ILS/0/SD_ILS:18897152024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Lolli, G. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642110726<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-11072-6">Full Text Available From Springer Nature Mathematics and Statistics 2011 Packages</a><br/>Format: Electronic Resources<br/>Topological Model Theoryent://SD_ILS/0/SD_ILS:19368262024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Flum, Jörg. author. Ziegler, Martin. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540385448<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0097006">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Sets Theory and Applicationsent://SD_ILS/0/SD_ILS:19510052024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Jones, André. editor. Kaufmann, Arnold. editor. Zimmermann, Hans-Jürgen. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789400946828<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-4682-8">Full Text Available From Springer Nature Physics and Astronomy Archive Packages</a><br/>Format: Electronic Resources<br/>Formal Methods Teaching 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedingsent://SD_ILS/0/SD_ILS:18869872024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Ferreira, João F. editor. (orcid)0000-0002-6612-9013 Mendes, Alexandra. editor. (orcid)0000-0001-8060-5920 Menghi, Claudio. editor. (orcid)0000-0001-5303-8481 SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783030915506<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-91550-6">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Proof Theory and Intuitionistic Systemsent://SD_ILS/0/SD_ILS:19359132024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Scarpellini, Bruno. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540368755<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0068783">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Diagonalization in Formal Mathematicsent://SD_ILS/0/SD_ILS:18941972024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Santos, Paulo Guilherme. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783658291112<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-658-29111-2">Full Text Available From Springer Nature Mathematics and Statistics 2020 Packages</a><br/>Format: Electronic Resources<br/>A Course on Borel Setsent://SD_ILS/0/SD_ILS:19372702024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Srivastava, S.M. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9780387227672<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/b98956">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Classical Descriptive Set Theoryent://SD_ILS/0/SD_ILS:19374152024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Kechris, Alexander. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461241904<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4612-4190-4">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Kripke's Worlds An Introduction to Modal Logics via Tableauxent://SD_ILS/0/SD_ILS:18911482024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Gasquet, Olivier. author. Herzig, Andreas. author. Said, Bilal. author. Schwarzentruber, François. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783764385040<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-7643-8504-0">Full Text Available From Springer Nature Mathematics and Statistics 2014 Packages</a><br/>Format: Electronic Resources<br/>Proofs and Fundamentals A First Course in Abstract Mathematicsent://SD_ILS/0/SD_ILS:19313932024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Bloch, Ethan D. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461221302<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4612-2130-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>The Higher Infinite Large Cardinals in Set Theory from Their Beginningsent://SD_ILS/0/SD_ILS:19335512024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Kanamori, Akihiro. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540888673<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-540-88867-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>A Course on Borel Setsent://SD_ILS/0/SD_ILS:19372862024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Srivastava, S.M. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642854736<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-85473-6">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Simple Relation Algebrasent://SD_ILS/0/SD_ILS:18924342024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Givant, Steven. author. Andréka, Hajnal. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319676968<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-67696-8">Full Text Available From Springer Nature Mathematics and Statistics 2017 Packages</a><br/>Format: Electronic Resources<br/>Set Theory and its Applications Proceedings of a Conference held at York University, Ontario, Canada, Aug. 10-21, 1987ent://SD_ILS/0/SD_ILS:19360792024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Steprans, Juris. editor. Watson, Stephen. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540467953<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0097326">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Logic Symposia, Hakone, 1979, 1980 Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980ent://SD_ILS/0/SD_ILS:19334842024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Müller, G.H. editor. Takeuti, G. editor. Tugue, T. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540386339<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0090974">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Model Theory of Algebra and Arithmetic Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz,Poland, September 1-7, 1979ent://SD_ILS/0/SD_ILS:19349222024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Pacholski, L. editor. Wierzejewski, J. editor. Wilkie, A.J. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540383932<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0090155">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Advances in Proof Theoryent://SD_ILS/0/SD_ILS:18919562024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Kahle, Reinhard. editor. Strahm, Thomas. editor. Studer, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319291987<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-29198-7">Full Text Available From Springer Nature Mathematics and Statistics 2016 Packages</a><br/>Format: Electronic Resources<br/>Logic and Foundations of Mathematics Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995ent://SD_ILS/0/SD_ILS:19347012024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Cantini, Andrea. editor. Casari, Ettore. editor. Minari, Pierluigi. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401721097<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-2109-7">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Proof Theory An Introductionent://SD_ILS/0/SD_ILS:19335662024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Pohlers, Wolfram. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540468257<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-540-46825-7">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Around and Beyond the Square of Oppositionent://SD_ILS/0/SD_ILS:18899482024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Béziau, Jean-Yves. editor. Jacquette, Dale. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783034803793<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-0348-0379-3">Full Text Available From Springer Nature Mathematics and Statistics 2012 Packages</a><br/>Format: Electronic Resources<br/>Closure Spaces and Logicent://SD_ILS/0/SD_ILS:19329042024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Martin, N.M. author. Pollard, S. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781475725063<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4757-2506-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Problems and Theorems in Classical Set Theoryent://SD_ILS/0/SD_ILS:18877512024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Komjath, Peter. author. Totik, Vilmos. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9780387362199<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/0-387-36219-3">Full Text Available From Springer Nature Mathematics and Statistics 2006 Packages</a><br/>Format: Electronic Resources<br/>Protoalgebraic Logicsent://SD_ILS/0/SD_ILS:19375812024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Czelakowski, Janusz. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401728072<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-2807-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Combinatorial Set Theory With a Gentle Introduction to Forcingent://SD_ILS/0/SD_ILS:18928232024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Halbeisen, Lorenz J. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319602318<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-60231-8">Full Text Available From Springer Nature Mathematics and Statistics 2017 Packages</a><br/>Format: Electronic Resources<br/>Combinatorial Algorithms on Wordsent://SD_ILS/0/SD_ILS:19356882024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Apostolico, Alberto. editor. Galil, Zvi. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642824562<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-82456-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Constructive Analysisent://SD_ILS/0/SD_ILS:19376852024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Bishop, E. author. Bridges, Douglas. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642616679<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-61667-9">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Mechanizing Hypothesis Formation Mathematical Foundations for a General Theoryent://SD_ILS/0/SD_ILS:19369422024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Hajek, P. author. Havranek, T. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642669439<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-66943-9">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Computer Algebra Symbolic and Algebraic Computationent://SD_ILS/0/SD_ILS:19259172024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Buchberger, B. editor. Collins, G.E. editor. Loos, R. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783709175514<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-7091-7551-4">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Henkin-Keisler Modelsent://SD_ILS/0/SD_ILS:19377582024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Weaver, George. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9780585288444<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/b102616">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Aspects of Molecular Computing Essays Dedicated to Tom Head on the Occasion of His 70th Birthdayent://SD_ILS/0/SD_ILS:19237792024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Jonoska, Natasha. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540246350<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/b94864">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Fundamentals of Computation Theory Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977ent://SD_ILS/0/SD_ILS:19238102024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Karpinski, Marek. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540370840<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-08442-8">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Hyperfinite Dirichlet Forms and Stochastic Processesent://SD_ILS/0/SD_ILS:18894572024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Albeverio, Sergio. author. Fan, Ruzong. author. Herzberg, Frederik S. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642196591<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-19659-1">Full Text Available From Springer Nature Mathematics and Statistics 2011 Packages</a><br/>Format: Electronic Resources<br/>Elements of Logic via Numbers and Setsent://SD_ILS/0/SD_ILS:19312332024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Johnson, D.L. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781447106036<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4471-0603-6">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Proofs and Fundamentals A First Course in Abstract Mathematicsent://SD_ILS/0/SD_ILS:18894132024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Bloch, Ethan D. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781441971272<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4419-7127-2">Full Text Available From Springer Nature Mathematics and Statistics 2011 Packages</a><br/>Format: Electronic Resources<br/>The Mathematics of Coordinated Inference A Study of Generalized Hat Problemsent://SD_ILS/0/SD_ILS:18907302024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Hardin, Christopher S. author. Taylor, Alan D. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319013336<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-01333-6">Full Text Available From Springer Nature Mathematics and Statistics 2013 Packages</a><br/>Format: Electronic Resources<br/>Logical and Computational Aspects of Model-Based Reasoningent://SD_ILS/0/SD_ILS:19341482024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Magnani, L. editor. Nersessian, N.J. editor. Pizzi, Claudio. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401005500<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-0550-0">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Agent-Based Defeasible Control in Dynamic Environmentsent://SD_ILS/0/SD_ILS:19362642024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Meyer, John-Jules Ch. editor. Treur, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401717410<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-1741-0">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Introduction to Mathematical Structures and Proofsent://SD_ILS/0/SD_ILS:18900372024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Gerstein, Larry J. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461442653<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4614-4265-3">Full Text Available From Springer Nature Mathematics and Statistics 2012 Packages</a><br/>Format: Electronic Resources<br/>A Course on Basic Model Theoryent://SD_ILS/0/SD_ILS:18926612024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Sarbadhikari, Haimanti. author. Srivastava, Shashi Mohan. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789811050985<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-10-5098-5">Full Text Available From Springer Nature Mathematics and Statistics 2017 Packages</a><br/>Format: Electronic Resources<br/>Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineeringent://SD_ILS/0/SD_ILS:19356052024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Angstenberger, Larisa. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401713122<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-1312-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>The Hyperuniverse Project and Maximalityent://SD_ILS/0/SD_ILS:18932382024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Antos, Carolin. editor. Friedman, Sy-David. editor. Honzik, Radek. editor. Ternullo, Claudio. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319629353<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-62935-3">Full Text Available From Springer Nature Mathematics and Statistics 2018 Packages</a><br/>Format: Electronic Resources<br/>Selected Preserver Problems on Algebraic Structures of Linear Operators and on Function Spacesent://SD_ILS/0/SD_ILS:18882332024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Molnár, L. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540399469<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-39944-5">Full Text Available From Springer Nature Mathematics and Statistics 2007 Packages</a><br/>Format: Electronic Resources<br/>Brouwer meets Husserl On the Phenomenology of Choice Sequencesent://SD_ILS/0/SD_ILS:18882492024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar van Atten, Mark. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781402050879<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4020-5087-9">Full Text Available From Springer Nature Mathematics and Statistics 2007 Packages</a><br/>Format: Electronic Resources<br/>Introduction to Fuzzy Reliabilityent://SD_ILS/0/SD_ILS:19196502024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Kai-Yuan Cai. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461314035<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-1403-5">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Logical Foundations of Mathematics and Computational Complexity A Gentle Introductionent://SD_ILS/0/SD_ILS:18906282024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Pudlák, Pavel. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319001197<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-00119-7">Full Text Available From Springer Nature Mathematics and Statistics 2013 Packages</a><br/>Format: Electronic Resources<br/>The Art of Proof Basic Training for Deeper Mathematicsent://SD_ILS/0/SD_ILS:18891592024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Beck, Matthias. author. Geoghegan, Ross. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781441970237<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4419-7023-7">Full Text Available From Springer Nature Mathematics and Statistics 2010 Packages</a><br/>Format: Electronic Resources<br/>Reading, Writing, and Proving A Closer Look at Mathematicsent://SD_ILS/0/SD_ILS:19338652024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Daepp, Ulrich. author. Gorkin, Pamela. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9780387215600<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/b97273">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Foundations of Mathematics Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödelent://SD_ILS/0/SD_ILS:19370592024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Bulloff, Jack John. editor. Holyoke, Thomas Campell. editor. Hahn, S.W. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642867453<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-86745-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Reading, Writing, and Proving A Closer Look at Mathematicsent://SD_ILS/0/SD_ILS:18893582024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Daepp, Ulrich. author. Gorkin, Pamela. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781441994790<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4419-9479-0">Full Text Available From Springer Nature Mathematics and Statistics 2011 Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Relation Equations and Their Applications to Knowledge Engineeringent://SD_ILS/0/SD_ILS:19259762024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Di Nola, Antonio. author. Sessa, S. author. (orcid)0000-0002-4303-2884 Pedrycz, Witold. author. Sanchez, E. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401716505<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-1650-5">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Logic and Structureent://SD_ILS/0/SD_ILS:19360082024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Dalen, Dirk van. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783662029626<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-02962-6">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum Symposium Proceedings, San Servolo, Venice, Italy, May 16-22, 1999ent://SD_ILS/0/SD_ILS:19346372024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Schuster, Peter. editor. Berger, Ulrich. editor. Osswald, Horst. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401597579<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-015-9757-9">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Notes on Set Theoryent://SD_ILS/0/SD_ILS:18876142024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Moschovakis, Yiannis. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9780387316093<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/0-387-31609-4">Full Text Available From Springer Nature Mathematics and Statistics 2006 Packages</a><br/>Format: Electronic Resources<br/>Logica: Metodo Breveent://SD_ILS/0/SD_ILS:18896962024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Mundici, Daniele. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9788847018846<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-88-470-1884-6">Full Text Available From Springer Nature Mathematics and Statistics 2011 Packages</a><br/>Format: Electronic Resources<br/>Reflexive Structures An Introduction to Computability Theoryent://SD_ILS/0/SD_ILS:19314432024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Sanchis, Luis E. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461238782<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4612-3878-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Introduction to Relation Algebras Relation Algebras, Volume 1ent://SD_ILS/0/SD_ILS:18926582024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Givant, Steven. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319652351<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-65235-1">Full Text Available From Springer Nature Mathematics and Statistics 2017 Packages</a><br/>Format: Electronic Resources<br/>Advanced Topics in Relation Algebras Relation Algebras, Volume 2ent://SD_ILS/0/SD_ILS:18927772024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Givant, Steven. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319659459<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-65945-9">Full Text Available From Springer Nature Mathematics and Statistics 2017 Packages</a><br/>Format: Electronic Resources<br/>Foundations of Mathematics Questions of Analysis, Geometry & Algorithmicsent://SD_ILS/0/SD_ILS:19325062024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Engeler, Erwin. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642780523<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-78052-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Hilary Putnam on Logic and Mathematicsent://SD_ILS/0/SD_ILS:18930122024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Hellman, Geoffrey. editor. Cook, Roy T. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319962740<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-96274-0">Full Text Available From Springer Nature Mathematics and Statistics 2018 Packages</a><br/>Format: Electronic Resources<br/>Introduction to Boolean Algebrasent://SD_ILS/0/SD_ILS:18886312024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Givant, Steven. author. Halmos, Paul. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9780387684369<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-0-387-68436-9">Full Text Available From Springer Nature Mathematics and Statistics 2009 Packages</a><br/>Format: Electronic Resources<br/>Logica Volume 2 - Incompletezza, teoria assiomatica degli insiemient://SD_ILS/0/SD_ILS:18930062024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Abrusci, Vito Michele. author. Tortora de Falco, Lorenzo. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9788847039681<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-88-470-3968-1">Full Text Available From Springer Nature Mathematics and Statistics 2018 Packages</a><br/>Format: Electronic Resources<br/>Cardinal Invariants on Boolean Algebras Second Revised Editionent://SD_ILS/0/SD_ILS:18913112024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Monk, J. Donald. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783034807302<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-0348-0730-2">Full Text Available From Springer Nature Mathematics and Statistics 2014 Packages</a><br/>Format: Electronic Resources<br/>Algorithms: Main Ideas and Applicationsent://SD_ILS/0/SD_ILS:19367902024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Uspensky, Vladimir. author. Semenov, A.L. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401582322<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-015-8232-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Automata, Languages and Programming Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedingsent://SD_ILS/0/SD_ILS:19249152024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Ausiello, G. editor. Böhm, C. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540358077<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-08860-1">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>The Lvov-Warsaw School. Past and Presentent://SD_ILS/0/SD_ILS:18932022024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Garrido, Ángel. editor. Wybraniec-Skardowska, Urszula. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319654300<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-65430-0">Full Text Available From Springer Nature Mathematics and Statistics 2018 Packages</a><br/>Format: Electronic Resources<br/>Methods of Cut-Eliminationent://SD_ILS/0/SD_ILS:18897562024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Baaz, Matthias. author. Leitsch, Alexander. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789400703209<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-007-0320-9">Full Text Available From Springer Nature Mathematics and Statistics 2011 Packages</a><br/>Format: Electronic Resources<br/>Thinking Programs Logical Modeling and Reasoning About Languages, Data, Computations, and Executionsent://SD_ILS/0/SD_ILS:18868442024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Schreiner, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783030805074<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-80507-4">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Abductive Reasoning and Learningent://SD_ILS/0/SD_ILS:19361652024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Gabbay, Dov M. editor. Smets, Philippe. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401717335<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-1733-5">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>A Short Introduction to Intuitionistic Logicent://SD_ILS/0/SD_ILS:19337582024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Mints, Grigori. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9780306469756<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/b115304">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Complementarity in Mathematics A First Introduction to the Foundations of Mathematics and Its Historyent://SD_ILS/0/SD_ILS:19346782024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Kuyk, W. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401576246<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-015-7624-6">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>New Directions in Paraconsistent Logic 5th WCP, Kolkata, India, February 2014ent://SD_ILS/0/SD_ILS:18915572024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Beziau, Jean-Yves. editor. Chakraborty, Mihir. editor. Dutta, Soma. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9788132227199<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-81-322-2719-9">Full Text Available From Springer Nature Mathematics and Statistics 2015 Packages</a><br/>Format: Electronic Resources<br/>Foundational Theories of Classical and Constructive Mathematicsent://SD_ILS/0/SD_ILS:18896312024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Sommaruga, Giovanni. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789400704312<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-007-0431-2">Full Text Available From Springer Nature Mathematics and Statistics 2011 Packages</a><br/>Format: Electronic Resources<br/>Intuitionistic Fuzzy Sets Theory and Applicationsent://SD_ILS/0/SD_ILS:19205812024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Atanassov, Krassimir T. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783790818703<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-7908-1870-3">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Logica Volume 1 - Dimostrazioni e modelli al primo ordineent://SD_ILS/0/SD_ILS:18911692024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Abrusci, Vito Michele. author. Tortora de Falco, Lorenzo. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9788847055384<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-88-470-5538-4">Full Text Available From Springer Nature Mathematics and Statistics 2014 Packages</a><br/>Format: Electronic Resources<br/>Belief Changeent://SD_ILS/0/SD_ILS:19366292024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Gabbay, Dov M. editor. Smets, Philippe. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401150545<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-5054-5">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Language, Truth and Logic in Mathematicsent://SD_ILS/0/SD_ILS:19328332024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Hintikka, Jaakko. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401720458<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-2045-8">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Finite Model Theory Second Editionent://SD_ILS/0/SD_ILS:19374962024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540287889<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-28788-4">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Set Theory The Third Millennium Edition, revised and expandedent://SD_ILS/0/SD_ILS:19375332024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Jech, Thomas. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540447610<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-44761-X">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Internal Logic Foundations of Mathematics from Kronecker to Hilbertent://SD_ILS/0/SD_ILS:19354742024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Gauthier, Y. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401700832<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-0083-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Turing's Revolution The Impact of His Ideas about Computabilityent://SD_ILS/0/SD_ILS:18915462024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Sommaruga, Giovanni. editor. Strahm, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319221564<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-22156-4">Full Text Available From Springer Nature Mathematics and Statistics 2015 Packages</a><br/>Format: Electronic Resources<br/>Modern Logic 1850-1950, East and Westent://SD_ILS/0/SD_ILS:18920712024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Abeles, Francine F. editor. Fuller, Mark E. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319247564<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-24756-4">Full Text Available From Springer Nature Mathematics and Statistics 2016 Packages</a><br/>Format: Electronic Resources<br/>Boolean Algebrasent://SD_ILS/0/SD_ILS:19349802024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Sikorski, Roman. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642858208<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-85820-8">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Logic, Language, and Probability A Selection of Papers Contributed to Sections IV, VI, and XI of the Fourth International Congress for Logic, Methodology, and Philosophy of Science, Bucharest, September 1971ent://SD_ILS/0/SD_ILS:19376912024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Bogdan, R. editor. Niiniluoto, I. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401025683<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-2568-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Sets, Logic and Categoriesent://SD_ILS/0/SD_ILS:19341782024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Cameron, Peter J. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781447105893<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4471-0589-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Teoria algebrica dei meccanismi automatici Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, August 20-29, 1959ent://SD_ILS/0/SD_ILS:18899492024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Righi, R. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642109324<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-10932-4">Full Text Available From Springer Nature Mathematics and Statistics 2012 Packages</a><br/>Format: Electronic Resources<br/>Model Theory in Algebra, Analysis and Arithmetic Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalorient://SD_ILS/0/SD_ILS:18912962024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar van den Dries, Lou. author. Koenigsmann, Jochen. author. Macpherson, H. Dugald. author. Pillay, Anand. author. Toffalori, Carlo. author.<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642549366<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-54936-6">Full Text Available From Springer Nature Mathematics and Statistics 2014 Packages</a><br/>Format: Electronic Resources<br/>Dynamics and Management of Reasoning Processesent://SD_ILS/0/SD_ILS:19356942024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Meyer, John-Jules Ch. editor. Treur, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401717434<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-1743-4">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Inconsistent Mathematicsent://SD_ILS/0/SD_ILS:19346122024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Mortensen, C.E. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401584531<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-015-8453-1">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Logic: a Brief Courseent://SD_ILS/0/SD_ILS:18901882024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Mundici, Daniele. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9788847023611<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-88-470-2361-1">Full Text Available From Springer Nature Mathematics and Statistics 2012 Packages</a><br/>Format: Electronic Resources<br/>Collected Papers of Stig Kanger with Essays on his Life and Workent://SD_ILS/0/SD_ILS:19353442024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Holmström-Hintikka, Ghita. editor. Lindström, Sten. editor. Sliwinski, R. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401005005<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-0500-5">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Visual Reasoning with Diagramsent://SD_ILS/0/SD_ILS:18905102024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783034806008<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-0348-0600-8">Full Text Available From Springer Nature Mathematics and Statistics 2013 Packages</a><br/>Format: Electronic Resources<br/>A Modern Perspective on Type Theory From its Origins until Todayent://SD_ILS/0/SD_ILS:18873182024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Kamareddine, F.D. author. Laan, T. author. Nederpelt, Rob. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781402023354<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/1-4020-2335-9">Full Text Available From Springer Nature Mathematics and Statistics 2015 Packages</a><br/>Format: Electronic Resources<br/>The Road to Universal Logic Festschrift for 50th Birthday of Jean-Yves Béziau Volume Ient://SD_ILS/0/SD_ILS:18914682024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Koslow, Arnold. editor. Buchsbaum, Arthur. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319101934<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-10193-4">Full Text Available From Springer Nature Mathematics and Statistics 2015 Packages</a><br/>Format: Electronic Resources<br/>The Road to Universal Logic Festschrift for the 50th Birthday of Jean-Yves Béziau Volume IIent://SD_ILS/0/SD_ILS:18916292024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Koslow, Arnold. editor. Buchsbaum, Arthur. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319153681<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-15368-1">Full Text Available From Springer Nature Mathematics and Statistics 2015 Packages</a><br/>Format: Electronic Resources<br/>Kolmogorov's Heritage in Mathematicsent://SD_ILS/0/SD_ILS:18881782024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Charpentier, Eric. editor. LESNE, Annick. editor. Nikolski, Nikolaï K. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540363514<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-540-36351-4">Full Text Available From Springer Nature Mathematics and Statistics 2007 Packages</a><br/>Format: Electronic Resources<br/>Feferman on Foundations Logic, Mathematics, Philosophyent://SD_ILS/0/SD_ILS:18925362024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Jäger, Gerhard. editor. Sieg, Wilfried. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319633343<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-63334-3">Full Text Available From Springer Nature Mathematics and Statistics 2017 Packages</a><br/>Format: Electronic Resources<br/>Non-Classical Logics and their Applications to Fuzzy Subsets A Handbook of the Mathematical Foundations of Fuzzy Set Theoryent://SD_ILS/0/SD_ILS:19534062024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Höhle, Ulrich. editor. Klement, Erich Peter. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401102155<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-0215-5">Full Text Available From Springer Nature Business and Economics Archive Packages</a><br/>Format: Electronic Resources<br/>Set Theory Centre de Recerca Matemàtica Barcelona, 2003-2004ent://SD_ILS/0/SD_ILS:18876792024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Bagaria, Joan. editor. Todorcevic, Stevo. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783764376925<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-7643-7692-9">Full Text Available From Springer Nature Mathematics and Statistics 2006 Packages</a><br/>Format: Electronic Resources<br/>Gentzen's Centenary The Quest for Consistencyent://SD_ILS/0/SD_ILS:18914542024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Kahle, Reinhard. editor. Rathjen, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319101033<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-10103-3">Full Text Available From Springer Nature Mathematics and Statistics 2015 Packages</a><br/>Format: Electronic Resources<br/>Set Theory With an Introduction to Real Point Setsent://SD_ILS/0/SD_ILS:18908212024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Dasgupta, Abhijit. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461488545<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4614-8854-5">Full Text Available From Springer Nature Mathematics and Statistics 2014 Packages</a><br/>Format: Electronic Resources<br/>Dual Tableaux: Foundations, Methodology, Case Studiesent://SD_ILS/0/SD_ILS:18897842024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789400700055<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-007-0005-5">Full Text Available From Springer Nature Mathematics and Statistics 2011 Packages</a><br/>Format: Electronic Resources<br/>Proof Theory for Fuzzy Logicsent://SD_ILS/0/SD_ILS:18886722024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov M. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781402094095<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4020-9409-5">Full Text Available From Springer Nature Mathematics and Statistics 2009 Packages</a><br/>Format: Electronic Resources<br/>5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980ent://SD_ILS/0/SD_ILS:19240802024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Bibel, Wolfgang. editor. Kowalski, R. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540381402<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-10009-1">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>The Semantics and Proof Theory of the Logic of Bunched Implicationsent://SD_ILS/0/SD_ILS:19331492024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Pym, David J. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401700917<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-0091-7">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>The Joy of Sets Fundamentals of Contemporary Set Theoryent://SD_ILS/0/SD_ILS:19328472024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Devlin, Keith. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461209034<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4612-0903-4">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Institution-independent Model Theoryent://SD_ILS/0/SD_ILS:18884882024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Diaconescu, Razvan. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783764387082<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-7643-8708-2">Full Text Available From Springer Nature Mathematics and Statistics 2008 Packages</a><br/>Format: Electronic Resources<br/>Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchyent://SD_ILS/0/SD_ILS:18845502024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar de Haan, Ronald. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783662606704<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-60670-4">Full Text Available From Springer Nature Computer Science 2019 Packages</a><br/>Format: Electronic Resources<br/>The Legacy of Kurt Schütteent://SD_ILS/0/SD_ILS:18939622024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Kahle, Reinhard. editor. Rathjen, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783030494247<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-49424-7">Full Text Available From Springer Nature Mathematics and Statistics 2020 Packages</a><br/>Format: Electronic Resources<br/>Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systemsent://SD_ILS/0/SD_ILS:18883192024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781402067822<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4020-6782-2">Full Text Available From Springer Nature Mathematics and Statistics 2008 Packages</a><br/>Format: Electronic Resources<br/>Logic and Computer Science Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988ent://SD_ILS/0/SD_ILS:19381152024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Homer, Steven. author. Nerode, Anil. author. Platek, Richard A. author. Sacks, Gerald E. author. Scedrov, Andre. author.<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540471356<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0093921">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Hardware Architectures and Applicationsent://SD_ILS/0/SD_ILS:19318492024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Kandel, Abraham. editor. Langholz, Gideon. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461540908<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-4090-8">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Logic from Computer Science Proceedings of a Workshop held November 13-17, 1989ent://SD_ILS/0/SD_ILS:19314282024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Moschovakis, Yiannis N. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461228226<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4612-2822-6">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>The Syntax and Semantics of Infinitary Languagesent://SD_ILS/0/SD_ILS:19332892024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Barwise, Jon. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540359005<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0079679">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Proofs from THE BOOKent://SD_ILS/0/SD_ILS:18892812024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Aigner, Martin. author. Ziegler, Günter M. author. (orcid)0000-0003-1502-1915 SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642008566<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-00856-6">Full Text Available From Springer Nature Mathematics and Statistics 2010 Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Decision Procedures with Binary Relations Towards A Unified Theoryent://SD_ILS/0/SD_ILS:19241172024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Kitainik, Leonid. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401119603<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-1960-3">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23-26, 1988. Proceedingsent://SD_ILS/0/SD_ILS:19248362024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Lusk, Ewing. editor. Overbeek, Ross. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540392163<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0012819">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Proof Theory The First Step into Impredicativityent://SD_ILS/0/SD_ILS:18889712024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Pohlers, Wolfram. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540693192<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-540-69319-2">Full Text Available From Springer Nature Mathematics and Statistics 2009 Packages</a><br/>Format: Electronic Resources<br/>Logic, Mathematics, and Computer Science Modern Foundations with Practical Applicationsent://SD_ILS/0/SD_ILS:18915542024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Nievergelt, Yves. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781493932238<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4939-3223-8">Full Text Available From Springer Nature Mathematics and Statistics 2015 Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Control of Industrial Systems Theory and Applicationsent://SD_ILS/0/SD_ILS:19190842024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Shaw, Ian S. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781475728132<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4757-2813-2">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Stochastic Calculus with Infinitesimalsent://SD_ILS/0/SD_ILS:18907012024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Herzberg, Frederik S. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642331497<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-33149-7">Full Text Available From Springer Nature Mathematics and Statistics 2013 Packages</a><br/>Format: Electronic Resources<br/>Computation, Logic, Philosophy A Collection of Essaysent://SD_ILS/0/SD_ILS:19359752024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Wang Hao. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789400923560<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-2356-0">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Set Theory-and Its Applicationsent://SD_ILS/0/SD_ILS:19353812024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Zimmermann, Hans-Jürgen. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401587020<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-015-8702-0">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Evolutionary Computationent://SD_ILS/0/SD_ILS:19325372024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Pedrycz, Witold. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461561354<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-6135-4">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Dependence Logic Theory and Applicationsent://SD_ILS/0/SD_ILS:18919482024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Abramsky, Samson. editor. (orcid)0000-0003-3921-6637 Kontinen, Juha. editor. (orcid)0000-0003-0115-5154 Väänänen, Jouko. editor. Vollmer, Heribert. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319318035<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-31803-5">Full Text Available From Springer Nature Mathematics and Statistics 2016 Packages</a><br/>Format: Electronic Resources<br/>Ordered Sets An Introductionent://SD_ILS/0/SD_ILS:19327022024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Schröder, Bernd. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461200536<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4612-0053-6">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>An Invitation to Abstract Mathematicsent://SD_ILS/0/SD_ILS:18938872024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Bajnok, Béla. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783030561741<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-56174-1">Full Text Available From Springer Nature Mathematics and Statistics 2020 Packages</a><br/>Format: Electronic Resources<br/>Applied Proof Theory: Proof Interpretations and their Use in Mathematicsent://SD_ILS/0/SD_ILS:18886162024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Kohlenbach, Ulrich. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540775331<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-540-77533-1">Full Text Available From Springer Nature Mathematics and Statistics 2008 Packages</a><br/>Format: Electronic Resources<br/>Automated Theorem Proving Theory and Practiceent://SD_ILS/0/SD_ILS:19328402024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Newborn, Monty. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461300892<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-0089-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Set Theory-and Its Applicationsent://SD_ILS/0/SD_ILS:19361202024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Zimmermann, Hans-Jürgen. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401006460<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-0646-0">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Duality Theories for Boolean Algebras with Operatorsent://SD_ILS/0/SD_ILS:18911862024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Givant, Steven. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319067438<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-06743-8">Full Text Available From Springer Nature Mathematics and Statistics 2014 Packages</a><br/>Format: Electronic Resources<br/>Cylindric-like Algebras and Algebraic Logicent://SD_ILS/0/SD_ILS:18903412024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642350252<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-35025-2">Full Text Available From Springer Nature Mathematics and Statistics 2013 Packages</a><br/>Format: Electronic Resources<br/>Set Theory Techniques and Applications Curaçao 1995 and Barcelona 1996 Conferencesent://SD_ILS/0/SD_ILS:19360242024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Prisco, Carlos A. di. editor. Larson, Jean A. editor. Bagaria, Joan. editor. Mathias, A.R.D. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401589888<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-015-8988-8">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Analysis and Evaluation of Fuzzy Systemsent://SD_ILS/0/SD_ILS:19326892024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Ishikawa, Akira. author. Wilson, Terry L. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401106351<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-0635-1">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Ordered Sets An Introduction with Connections from Combinatorics to Topologyent://SD_ILS/0/SD_ILS:18918862024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Schröder, Bernd. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319297880<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-29788-0">Full Text Available From Springer Nature Mathematics and Statistics 2016 Packages</a><br/>Format: Electronic Resources<br/>Non solo calcoli Domande e risposte sui perché della matematicaent://SD_ILS/0/SD_ILS:18900482024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Villani, Vinicio. author. Bernardi, Claudio. author. roberto, porcaro. author. Zoccante, Sergio. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9788847026100<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-88-470-2610-0">Full Text Available From Springer Nature Mathematics and Statistics 2012 Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Set Theory Basic Concepts, Techniques and Bibliographyent://SD_ILS/0/SD_ILS:19332422024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Lowen, R. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401587419<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-015-8741-9">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Frontiers of Combining Systems Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedingsent://SD_ILS/0/SD_ILS:19240652024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Kirchner, Helene. editor. Ringeissen, Christophe. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540464211<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/10720084">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Philosophy of Mathematics Todayent://SD_ILS/0/SD_ILS:19349352024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Agazzi, E. editor. Darvas, György. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401156905<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-5690-5">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Logical Structures for Representation of Knowledge and Uncertaintyent://SD_ILS/0/SD_ILS:19205512024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Hisdal, Ellen. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783790818871<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-7908-1887-1">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Towards Efficient Fuzzy Information Processing Using the Principle of Information Diffusionent://SD_ILS/0/SD_ILS:19211552024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Huang, Chongfu. author. Shi, Yong. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783790817850<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-7908-1785-0">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Logic for Concurrency and Synchronisationent://SD_ILS/0/SD_ILS:19374542024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar De Queiroz, R.J. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9780306480881<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/0-306-48088-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Axiom of Choiceent://SD_ILS/0/SD_ILS:18877872024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Herrlich, Horst. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540342687<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/11601562">Full Text Available From Springer Nature Mathematics and Statistics 2006 Packages</a><br/>Format: Electronic Resources<br/>Progress in Fuzzy Sets and Systemsent://SD_ILS/0/SD_ILS:19253162024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Janko, W. editor. Roubens, M.R. editor. Zimmermann, Hans-Jürgen. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789400920194<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-2019-4">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Nonstandard Methods of Analysisent://SD_ILS/0/SD_ILS:19309882024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Kusraev, A.G. author. Kutateladze, Semën Samsonovich. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401111362<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-1136-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Advances in Computational Intelligence and Learning Methods and Applicationsent://SD_ILS/0/SD_ILS:19330872024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Zimmermann, Hans-Jürgen. editor. Tselentis, Georgios. editor. van Someren, Maarten. editor. Dounias, Georgios. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401003247<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-0324-7">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Philosophical Logic in Polandent://SD_ILS/0/SD_ILS:19373342024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Wolenski, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401582735<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-015-8273-5">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Innovations in Fuzzy Clustering Theory and Applicationsent://SD_ILS/0/SD_ILS:18155942024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Sato-Ilic, Mika. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540343578<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-34357-1">Full Text Available From Springer Nature Engineering 2006 Packages</a><br/>Format: Electronic Resources<br/>8th International Conference on Automated Deduction Oxford, England, July 27- August 1, 1986. Proceedingsent://SD_ILS/0/SD_ILS:19241972024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Siekmann, Jörg H. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540398615<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-16780-3">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Logical Foundations of Computer Science International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedingsent://SD_ILS/0/SD_ILS:18937972024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Artemov, Sergei. editor. (orcid)0000-0002-5605-6172 Nerode, Anil. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783030367558<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-36755-8">Full Text Available From Springer Nature Mathematics and Statistics 2020 Packages</a><br/>Format: Electronic Resources<br/>Abduction and Induction Essays on their Relation and Integrationent://SD_ILS/0/SD_ILS:19342572024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Flach, P.A. editor. Hadjiantonis, Antonis. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401706063<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-0606-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Foundations of Logic and Mathematics Applications to Computer Science and Cryptographyent://SD_ILS/0/SD_ILS:19313372024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Nievergelt, Yves. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461201250<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4612-0125-0">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Combinatorial Set Theory of C*-algebrasent://SD_ILS/0/SD_ILS:18937932024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Farah, Ilijas. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783030270933<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-27093-3">Full Text Available From Springer Nature Mathematics and Statistics 2019 Packages</a><br/>Format: Electronic Resources<br/>Decidability of Logical Theories and Their Combinationent://SD_ILS/0/SD_ILS:18938802024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Rasga, João. author. Sernadas, Cristina. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783030565541<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-56554-1">Full Text Available From Springer Nature Mathematics and Statistics 2020 Packages</a><br/>Format: Electronic Resources<br/>DNA Computing 8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papersent://SD_ILS/0/SD_ILS:19279052024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Hagiya, Masami. editor. Ohuchi, Azuma. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540364405<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-36440-4">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>The Philosophy of Mathematics and Logic in the 1920s and 1930s in Polandent://SD_ILS/0/SD_ILS:18908912024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Murawski, Roman. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783034808316<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-0348-0831-6">Full Text Available From Springer Nature Mathematics and Statistics 2014 Packages</a><br/>Format: Electronic Resources<br/>Fundamentals of Fuzzy Setsent://SD_ILS/0/SD_ILS:19329562024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Dubois, Didier. editor. Prade, Henri. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461544296<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-4429-6">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Type-2 Fuzzy Logic: Theory and Applicationsent://SD_ILS/0/SD_ILS:18166442024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540762843<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-540-76284-3">Full Text Available From Springer Nature Engineering 2008 Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Logic and Intelligent Systemsent://SD_ILS/0/SD_ILS:19339572024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Hua Harry Li. editor. Gupta, Madan M. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9780585280004<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/b102307">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Simple Theoriesent://SD_ILS/0/SD_ILS:19310532024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Wagner, Frank O. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401730020<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-3002-0">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Lecture Notes on O-Minimal Structures and Real Analytic Geometryent://SD_ILS/0/SD_ILS:18899292024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Miller, Chris. editor. Rolin, Jean-Philippe. editor. Speissegger, Patrick. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461440420<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4614-4042-0">Full Text Available From Springer Nature Mathematics and Statistics 2012 Packages</a><br/>Format: Electronic Resources<br/>Thirty Five Years of Automating Mathematicsent://SD_ILS/0/SD_ILS:19326402024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Kamareddine, F.D. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401702539<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-0253-9">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Generalized Quantifiers and Computation 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lecturesent://SD_ILS/0/SD_ILS:19246452024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Väänänen, Jouko. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540465836<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-46583-9">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Traffic Control and Transport Planning: A Fuzzy Sets and Neural Networks Approachent://SD_ILS/0/SD_ILS:19346352024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Teodorovic, Dusan. author. Vukadinovic, Katarina. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401144032<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-4403-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Vaguely Defined Objects Representations, Fuzzy Sets and Nonclassical Cardinality theoryent://SD_ILS/0/SD_ILS:19339562024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Wygralak, M. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9780585275239<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-0-585-27523-9">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Non-commutative Multiple-Valued Logic Algebrasent://SD_ILS/0/SD_ILS:18911842024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Ciungu, Lavinia Corina. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319015897<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-01589-7">Full Text Available From Springer Nature Mathematics and Statistics 2014 Packages</a><br/>Format: Electronic Resources<br/>Qualitative and Quantitative Practical Reasoning First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedingsent://SD_ILS/0/SD_ILS:19240192024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Gabbay, Dov. editor. Kruse, Rudolf. editor. Nonnengart, Andreas. editor. Ohlbach, Hans J. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540691297<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0035607">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Boolean Constructions in Universal Algebrasent://SD_ILS/0/SD_ILS:19359312024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Pinus, A.G. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401709385<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-0938-5">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Logic A Framework for the New Millenniument://SD_ILS/0/SD_ILS:19216062024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Dimitrov, Vladimir. editor. Korotkich, Victor. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783790818062<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-7908-1806-2">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Fuzziness and Approximate Reasoning Epistemics on Uncertainty, Expectation and Risk in Rational Behaviorent://SD_ILS/0/SD_ILS:18169322024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar Dompere, Kofi Kissi. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540880875<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-540-88087-5">Full Text Available From Springer Nature Engineering 2009 Packages</a><br/>Format: Electronic Resources<br/>Alfred Tarski Early Work in Poland-Geometry and Teachingent://SD_ILS/0/SD_ILS:18912132024-11-13T01:12:22Z2024-11-13T01:12:22ZYazar McFarland, Andrew. editor. McFarland, Joanna. editor. Smith, James T. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781493914746<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4939-1474-6">Full Text Available From Springer Nature Mathematics and Statistics 2014 Packages</a><br/>Format: Electronic Resources<br/>