Search Results for Mathematical Logic and Foundations.SirsiDynix Enterprisehttps://bilge.isikun.edu.tr/client/tr_TR/default/default/qu$003dMathematical$002bLogic$002band$002bFoundations.$0026ps$003d300?dt=list2024-11-10T04:46:56ZMartin Davis on Computability, Computational Logic, and Mathematical Foundationsent://SD_ILS/0/SD_ILS:18676642024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguisticsent://SD_ILS/0/SD_ILS:19375362024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>The Axiom of Constructibility A Guide for the Mathematicianent://SD_ILS/0/SD_ILS:19329442024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Théorie des ensemblesent://SD_ILS/0/SD_ILS:18878122024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>The Homology of Iterated Loop Spacesent://SD_ILS/0/SD_ILS:19363762024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Ω-Bibliography of Mathematical Logic Model Theoryent://SD_ILS/0/SD_ILS:19368762024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Model Theory : An Introductionent://SD_ILS/0/SD_ILS:19338142024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Mathematical Logicent://SD_ILS/0/SD_ILS:19373442024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Perspectives of Elementary Mathematicsent://SD_ILS/0/SD_ILS:19353472024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Decidable Theories Vol. 2: The Monadic Second Order Theory of All Countable Ordinalsent://SD_ILS/0/SD_ILS:19380942024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Nonstandard Asymptotic Analysisent://SD_ILS/0/SD_ILS:19358042024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studiesent://SD_ILS/0/SD_ILS:19382042024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Notes on Set Theoryent://SD_ILS/0/SD_ILS:19320352024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>First Order Categorical Logic Model-Theoretical Methods in the Theory of Topoi and Related Categoriesent://SD_ILS/0/SD_ILS:19323462024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>The Enumerative Theory of Conics after Halphenent://SD_ILS/0/SD_ILS:19380212024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Proper Forcingent://SD_ILS/0/SD_ILS:19370112024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Theory of Setsent://SD_ILS/0/SD_ILS:19327282024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Gödel's Theorems and Zermelo's Axioms A Firm Foundation of Mathematicsent://SD_ILS/0/SD_ILS:18942512024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Logic and Structureent://SD_ILS/0/SD_ILS:18906012024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Mathematical Aspects of Scientific Softwareent://SD_ILS/0/SD_ILS:19318842024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>A Course in Mathematical Logicent://SD_ILS/0/SD_ILS:19373052024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Cabal Seminar 79-81 Proceedings. Caltech-UCLA Logic Seminar 1979-81ent://SD_ILS/0/SD_ILS:19309282024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Introduction to Axiomatic Set Theoryent://SD_ILS/0/SD_ILS:19373722024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Axiomatic Set Theoryent://SD_ILS/0/SD_ILS:19372882024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Set Theory and Model Theory Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979ent://SD_ILS/0/SD_ILS:19341212024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Incompleteness for Higher-Order Arithmetic An Example Based on Harrington's Principleent://SD_ILS/0/SD_ILS:18936042024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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 Exploring Independence and Truthent://SD_ILS/0/SD_ILS:18908562024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Cabal Seminar 81-85 Proceedings. Caltech-UCLA Logic Seminar 1981-85ent://SD_ILS/0/SD_ILS:19381262024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>An Outline of Set Theoryent://SD_ILS/0/SD_ILS:19343622024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:19371262024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Symposium on Automatic Demonstration Held at Versailles/France, Decembre 1968ent://SD_ILS/0/SD_ILS:19313262024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Great Circle of Mysteries Mathematics, the World, the Mindent://SD_ILS/0/SD_ILS:18928662024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Self-Reference and Modal Logicent://SD_ILS/0/SD_ILS:19317842024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Advanced Łukasiewicz calculus and MV-algebrasent://SD_ILS/0/SD_ILS:18897722024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>ISILC - Logic Conference Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974ent://SD_ILS/0/SD_ILS:19378322024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>First-Order Logicent://SD_ILS/0/SD_ILS:19362842024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Propositional and Predicate Calculus: A Model of Argumentent://SD_ILS/0/SD_ILS:18875612024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Set Theory of the Continuument://SD_ILS/0/SD_ILS:19367652024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Algebra for Computer Scienceent://SD_ILS/0/SD_ILS:19360472024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Recursion Theory Week Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989ent://SD_ILS/0/SD_ILS:19361952024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Introduction to Mathematical Logic Set Theory Computable Functions Model Theoryent://SD_ILS/0/SD_ILS:19329672024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Recursion Theory Week Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984ent://SD_ILS/0/SD_ILS:19373362024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Towards an Arithmetical Logic The Arithmetical Foundations of Logicent://SD_ILS/0/SD_ILS:18916392024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Foundations of Constructive Mathematics Metamathematical Studiesent://SD_ILS/0/SD_ILS:19382022024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>A Course in Model Theory An Introduction to Contemporary Mathematical Logicent://SD_ILS/0/SD_ILS:19311822024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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 Logic An Introduction to Model Theoryent://SD_ILS/0/SD_ILS:19329752024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebraent://SD_ILS/0/SD_ILS:19319332024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Adaptive and Learning Systems Theory and Applicationsent://SD_ILS/0/SD_ILS:19318682024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Zermelo's Axiom of Choice Its Origins, Development, and Influenceent://SD_ILS/0/SD_ILS:19361632024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>7th International Conference on Automated Deduction Proceedingsent://SD_ILS/0/SD_ILS:19222722024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Fuzzy Sets Theory and Applicationsent://SD_ILS/0/SD_ILS:19510052024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Topological Model Theoryent://SD_ILS/0/SD_ILS:19368262024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Proof Theory and Intuitionistic Systemsent://SD_ILS/0/SD_ILS:19359132024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Simple Relation Algebrasent://SD_ILS/0/SD_ILS:18924342024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>The Higher Infinite Large Cardinals in Set Theory from Their Beginningsent://SD_ILS/0/SD_ILS:19335512024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Proofs and Fundamentals A First Course in Abstract Mathematicsent://SD_ILS/0/SD_ILS:19313932024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>A Course on Mathematical Logicent://SD_ILS/0/SD_ILS:18884142024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>An Algebraic Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:19373162024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>A Course in Mathematical Logic for Mathematiciansent://SD_ILS/0/SD_ILS:18893032024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Kripke's Worlds An Introduction to Modal Logics via Tableauxent://SD_ILS/0/SD_ILS:18911482024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>A Course on Borel Setsent://SD_ILS/0/SD_ILS:19372862024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Mathematical Problems from Applied Logic II Logics for the XXIst Centuryent://SD_ILS/0/SD_ILS:18880782024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Advances in Proof Theoryent://SD_ILS/0/SD_ILS:18919562024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Petr Hájek on Mathematical Fuzzy Logicent://SD_ILS/0/SD_ILS:18914552024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Formally p-adic Fieldsent://SD_ILS/0/SD_ILS:19379912024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Prestel, A. author. Roquette, P. author. SpringerLink (Online service)<br/>Yer Numarası QA150 -272<br/>ISBN 9783540387688<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0071461">Full Text Available From Springer Nature Mathematics and Statistics Archive 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Archive for Mathematical Logicent://SD_ILS/0/SD_ILS:19850422024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Proof Theory An Introductionent://SD_ILS/0/SD_ILS:19335662024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Lectures on Formally Real Fieldsent://SD_ILS/0/SD_ILS:19364312024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Prestel, A. author. SpringerLink (Online service)<br/>Yer Numarası QA150 -272<br/>ISBN 9783540390930<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0101548">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Mathematics for Computer Algebraent://SD_ILS/0/SD_ILS:19325232024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Mignotte, Maurice. author. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .A43<br/>ISBN 9781461391715<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-9171-5">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>A Logical Introduction to Proofent://SD_ILS/0/SD_ILS:18903982024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Cunningham, Daniel W. author. SpringerLink (Online service)<br/>Yer Numarası QA1 -939<br/>ISBN 9781461436317<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4614-3631-7">Full Text Available From Springer Nature Mathematics and Statistics 2013 Packages</a><br/>Format: Electronic Resources<br/>Theory of Graded Consequence A General Framework for Logics of Uncertaintyent://SD_ILS/0/SD_ILS:18685822024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Chakraborty, Mihir Kumar. author. Dutta, Soma. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789811388965<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-13-8896-5">Full Text Available From Springer Nature Religion and Philosophy 2019 Packages</a><br/>Format: Electronic Resources<br/>Algebra and Logicent://SD_ILS/0/SD_ILS:19848062024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Ershov, Yuri L. editor. Springer Journals SpringerLink Journals SpringerLink (Online service)<br/>Yer Numarası XX(1984806.1)<br/>ISSN 15738302<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/10469.1573-8302">Full Text Available From SpringerLink Journals</a><br/>Format: Electronic Resources<br/>Design Considerations of Time in Fuzzy Systemsent://SD_ILS/0/SD_ILS:19360212024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Virant, J. author. SpringerLink (Online service)<br/>Yer Numarası QA1 -939<br/>ISBN 9781461546733<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-4673-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Introduction to Cardinal Arithmeticent://SD_ILS/0/SD_ILS:19346212024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Holz, Michael. author. Steffens, Karsten. author. Weitz, E. author. SpringerLink (Online service)<br/>Yer Numarası QA297.4<br/>ISBN 9783034603300<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-0346-0330-0">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Constructive Negations and Paraconsistencyent://SD_ILS/0/SD_ILS:18883202024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Odintsov, Sergei. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9781402068676<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4020-6867-6">Full Text Available From Springer Nature Mathematics and Statistics 2008 Packages</a><br/>Format: Electronic Resources<br/>Metamathematics of Fuzzy Logicent://SD_ILS/0/SD_ILS:19357932024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Hájek, Petr. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401153003<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-5300-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Combinatorics and Graph Theoryent://SD_ILS/0/SD_ILS:18884402024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Harris, John. author. Hirst, Jeffry L. author. Mossinghoff, Michael. author. SpringerLink (Online service)<br/>Yer Numarası QA297.4<br/>ISBN 9780387797113<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-0-387-79711-3">Full Text Available From Springer Nature Mathematics and Statistics 2008 Packages</a><br/>Format: Electronic Resources<br/>Around and Beyond the Square of Oppositionent://SD_ILS/0/SD_ILS:18899482024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Introduction to Discrete Mathematics via Logic and Proofent://SD_ILS/0/SD_ILS:18936292024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Jongsma, Calvin. author. SpringerLink (Online service)<br/>Yer Numarası QA297.4<br/>ISBN 9783030253585<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-25358-5">Full Text Available From Springer Nature Mathematics and Statistics 2019 Packages</a><br/>Format: Electronic Resources<br/>Closure Spaces and Logicent://SD_ILS/0/SD_ILS:19329042024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Nonstandard Methods in Ramsey Theory and Combinatorial Number Theoryent://SD_ILS/0/SD_ILS:18937592024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Di Nasso, Mauro. author. Goldbring, Isaac. author. Lupini, Martino. author. SpringerLink (Online service)<br/>Yer Numarası QA297.4<br/>ISBN 9783030179564<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-17956-4">Full Text Available From Springer Nature Mathematics and Statistics 2019 Packages</a><br/>Format: Electronic Resources<br/>Logic and Implication An Introduction to the General Algebraic Study of Non-classical Logicsent://SD_ILS/0/SD_ILS:18948442024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Cintula, Petr. author. Noguera, Carles. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783030856755<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-85675-5">Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages</a><br/>Format: Electronic Resources<br/>Logical Studies of Paraconsistent Reasoning in Science and Mathematicsent://SD_ILS/0/SD_ILS:18922192024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Andreas, Holger. editor. Verdée, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783319402208<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-40220-8">Full Text Available From Springer Nature Mathematics and Statistics 2016 Packages</a><br/>Format: Electronic Resources<br/>The Logic of Information Structuresent://SD_ILS/0/SD_ILS:19278202024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Wansing, Heinrich. author. SpringerLink (Online service)<br/>Yer Numarası Q334 -342<br/>ISBN 9783540476429<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-56734-8">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>18 Unconventional Essays on the Nature of Mathematicsent://SD_ILS/0/SD_ILS:18877152024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Hersh, Reuben. editor. SpringerLink (Online service)<br/>Yer Numarası QA1 -939<br/>ISBN 9780387298313<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/0-387-29831-2">Full Text Available From Springer Nature Mathematics and Statistics 2006 Packages</a><br/>Format: Electronic Resources<br/>Problems and Theorems in Classical Set Theoryent://SD_ILS/0/SD_ILS:18877512024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Geometryent://SD_ILS/0/SD_ILS:18939122024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Gelfand, Israel M. author. Alekseyevskaya (Gelfand), Tatiana. author. SpringerLink (Online service)<br/>Yer Numarası QA440 -699<br/>ISBN 9781071602997<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-0716-0299-7">Full Text Available From Springer Nature Mathematics and Statistics 2020 Packages</a><br/>Format: Electronic Resources<br/>Combinatorial Set Theory With a Gentle Introduction to Forcingent://SD_ILS/0/SD_ILS:18928232024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Leśniewski's Systems Prototheticent://SD_ILS/0/SD_ILS:19573732024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Srzednicki, Jan J.T. editor. Stachniak, Z. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401157360<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-5736-0">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Combinatorial Algorithms on Wordsent://SD_ILS/0/SD_ILS:19356882024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>A Model-Theoretic Approach to Proof Theoryent://SD_ILS/0/SD_ILS:18934062024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Kotlarski, Henryk. author. Adamowicz, Zofia. editor. Bigorajska, Teresa. editor. Zdanowski, Konrad. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783030289218<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-28921-8">Full Text Available From Springer Nature Mathematics and Statistics 2019 Packages</a><br/>Format: Electronic Resources<br/>Automated Model Buildingent://SD_ILS/0/SD_ILS:19311622024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Caferra, Ricardo. author. Leitsch, Alexander. author. Peltier, Nicolas. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9781402026539<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4020-2653-9">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Logical Number Theory I An Introductionent://SD_ILS/0/SD_ILS:19352382024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Smorynski, Craig. author. SpringerLink (Online service)<br/>Yer Numarası QA241 -247.5<br/>ISBN 9783642754623<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-75462-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Many Valued Topology and its Applicationsent://SD_ILS/0/SD_ILS:19360462024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Höhle, Ulrich. author. SpringerLink (Online service)<br/>Yer Numarası QA611 -614.97<br/>ISBN 9781461516170<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-1617-0">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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Introduction to Axiomatic Set Theoryent://SD_ILS/0/SD_ILS:19563602024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Krivine, J.L. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401031448<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-3144-8">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>A Precis of Mathematical Logicent://SD_ILS/0/SD_ILS:19586942024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinalsent://SD_ILS/0/SD_ILS:18501412024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Horská, Anna. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783319021713<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-02171-3">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2014 Packages</a><br/>Format: Electronic Resources<br/>Computer Algebra Symbolic and Algebraic Computationent://SD_ILS/0/SD_ILS:19259172024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Protoalgebraic Logicsent://SD_ILS/0/SD_ILS:19375812024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Managing Uncertainty in Expert Systemsent://SD_ILS/0/SD_ILS:19213162024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Grzymala-Busse, Jerzy W. author. SpringerLink (Online service)<br/>Yer Numarası Q334 -342<br/>ISBN 9781461539827<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-3982-7">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Applications of Mathematics and Informatics in Natural Sciences and Engineering AMINSE 2019, Tbilisi, Georgia, September 23-26ent://SD_ILS/0/SD_ILS:18941762024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Jaiani, George. editor. Natroshvili, David. editor. SpringerLink (Online service)<br/>Yer Numarası QA370 -380<br/>ISBN 9783030563561<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-56356-1">Full Text Available From Springer Nature Mathematics and Statistics 2020 Packages</a><br/>Format: Electronic Resources<br/>Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguisticsent://SD_ILS/0/SD_ILS:19602732024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Gabbay, Dov M. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401014533<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-1453-3">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Complexity Theory Retrospective In Honor of Juris Hartmanis on the Occasion of His Sixtieth Birthday, July 5, 1988ent://SD_ILS/0/SD_ILS:19234982024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Selman, Alan L. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .A43<br/>ISBN 9781461244783<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4612-4478-3">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>On Fuzziness A Homage to Lotfi A. Zadeh - Volume 2ent://SD_ILS/0/SD_ILS:18195672024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)<br/>Yer Numarası Q342<br/>ISBN 9783642356445<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-35644-5">Full Text Available From Springer Nature Engineering 2013 Packages</a><br/>Format: Electronic Resources<br/>Awareness in Logic and Epistemology A Conceptual Schema and Logical Study of The Underlying Main Epistemic Conceptsent://SD_ILS/0/SD_ILS:18693772024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Fernández-Fernández, Claudia. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783030696061<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-69606-1">Full Text Available From Springer Nature Religion and Philosophy 2021 Packages</a><br/>Format: Electronic Resources<br/>Practical Applications of Computational Intelligence Techniquesent://SD_ILS/0/SD_ILS:19371982024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Jain, Lakhmi. editor. De Wilde, Philippe. editor. SpringerLink (Online service)<br/>Yer Numarası Q334 -342<br/>ISBN 9789401006781<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-0678-1">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logic Volume II: Extensions of Classical Logicent://SD_ILS/0/SD_ILS:19565862024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400962590<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-6259-0">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Course of Mathematical Logic Volume 2 Model Theoryent://SD_ILS/0/SD_ILS:19599892024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Aspects of Molecular Computing Essays Dedicated to Tom Head on the Occasion of His 70th Birthdayent://SD_ILS/0/SD_ILS:19237792024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Nearly Projective Boolean Algebrasent://SD_ILS/0/SD_ILS:19336642024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Heindorf, Lutz. author. Shapiro, Leonid B. author. SpringerLink (Online service)<br/>Yer Numarası QA150 -272<br/>ISBN 9783540491019<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0094103">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Henkin-Keisler Modelsent://SD_ILS/0/SD_ILS:19377582024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetingsent://SD_ILS/0/SD_ILS:18862662024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Nakajima, Shin. editor. Méry, Dominique. editor. (orcid)0000-0001-5231-6611 SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>ISBN 9789811550546<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-15-5054-6">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Fractals and Hyperspacesent://SD_ILS/0/SD_ILS:19335632024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Wicks, Keith R. author. SpringerLink (Online service)<br/>Yer Numarası QA611 -614.97<br/>ISBN 9783540466109<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0089156">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Nonstandard Analysis, Axiomaticallyent://SD_ILS/0/SD_ILS:19374842024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Kanovei, Vladimir. author. Reeken, Michael. author. SpringerLink (Online service)<br/>Yer Numarası QA299.6 -433<br/>ISBN 9783662089989<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-08998-9">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Hyperfinite Dirichlet Forms and Stochastic Processesent://SD_ILS/0/SD_ILS:18894572024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Automated Mathematical Inductionent://SD_ILS/0/SD_ILS:19237552024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Hantao Zhang. editor. SpringerLink (Online service)<br/>Yer Numarası Q334 -342<br/>ISBN 9789400916753<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-1675-3">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Semantics and Truthent://SD_ILS/0/SD_ILS:18686312024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Woleński, Jan. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783030245368<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-24536-8">Full Text Available From Springer Nature Religion and Philosophy 2019 Packages</a><br/>Format: Electronic Resources<br/>The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Todayent://SD_ILS/0/SD_ILS:18468942024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar van Benthem, Johan. editor. Heinzmann, Gerhard. editor. Rebuschi, Manuel. editor. Visser, Henk. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9781402050121<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4020-5012-7">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2006 Packages</a><br/>Format: Electronic Resources<br/>Computational Complexity of Solving Equation Systemsent://SD_ILS/0/SD_ILS:18825062024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Broniek, Przemysław. author. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .A43<br/>ISBN 9783319217505<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-21750-5">Full Text Available From Springer Nature Computer Science 2015 Packages</a><br/>Format: Electronic Resources<br/>Contradictions, from Consistency to Inconsistencyent://SD_ILS/0/SD_ILS:18933172024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Carnielli, Walter. editor. Malinowski, Jacek. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783319987972<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-98797-2">Full Text Available From Springer Nature Mathematics and Statistics 2018 Packages</a><br/>Format: Electronic Resources<br/>Elements of Logic via Numbers and Setsent://SD_ILS/0/SD_ILS:19312332024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Fuzzy Logic Mathematical Tools for Approximate Reasoningent://SD_ILS/0/SD_ILS:19375392024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Proofs and Fundamentals A First Course in Abstract Mathematicsent://SD_ILS/0/SD_ILS:18894132024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>A Guide to Classical and Modern Model Theoryent://SD_ILS/0/SD_ILS:19374872024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Marcja, Annalisa. author. Toffalori, Carlo. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400708129<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-007-0812-9">Full Text Available From Springer Nature Mathematics and Statistics Archive 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematicsent://SD_ILS/0/SD_ILS:18499692024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Montano, Ulianov. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783319034522<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-03452-2">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2014 Packages</a><br/>Format: Electronic Resources<br/>Contextualism, Factivity and Closure A Union That Should Not Take Place?ent://SD_ILS/0/SD_ILS:18683382024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Leardi, Stefano. author. Vassallo, Nicla. author. SpringerLink (Online service)<br/>Yer Numarası BD143 -237<br/>ISBN 9783030161552<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-16155-2">Full Text Available From Springer Nature Religion and Philosophy 2018 Packages</a><br/>Format: Electronic Resources<br/>Logical and Computational Aspects of Model-Based Reasoningent://SD_ILS/0/SD_ILS:19341482024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Noneist Explorations II The Sylvan Jungle - Volume 3ent://SD_ILS/0/SD_ILS:18690182024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Routley, Richard. author. Routley, Val. author. Hyde, Dominic. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783030588649<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-58864-9">Full Text Available From Springer Nature Religion and Philosophy 2020 Packages</a><br/>Format: Electronic Resources<br/>Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathansonent://SD_ILS/0/SD_ILS:18890932024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Chudnovsky, David. editor. Chudnovsky, Gregory. editor. SpringerLink (Online service)<br/>Yer Numarası QA241 -247.5<br/>ISBN 9780387683614<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-0-387-68361-4">Full Text Available From Springer Nature Mathematics and Statistics 2010 Packages</a><br/>Format: Electronic Resources<br/>Agent-Based Defeasible Control in Dynamic Environmentsent://SD_ILS/0/SD_ILS:19362642024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Labelled Non-Classical Logicsent://SD_ILS/0/SD_ILS:19580422024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Viganò, Luca. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9781475732085<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4757-3208-5">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Likeness to Truthent://SD_ILS/0/SD_ILS:19568532024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Oddie, G. author. SpringerLink (Online service)<br/>Yer Numarası B1 -5802<br/>ISBN 9789400946583<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-4658-3">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Displaying Modal Logicent://SD_ILS/0/SD_ILS:19376362024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Wansing, Heinrich. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401712804<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-1280-4">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Banach Spaces and Descriptive Set Theory: Selected Topicsent://SD_ILS/0/SD_ILS:18891692024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Dodos, Pandelis. author. SpringerLink (Online service)<br/>Yer Numarası QA297.4<br/>ISBN 9783642121531<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-12153-1">Full Text Available From Springer Nature Mathematics and Statistics 2010 Packages</a><br/>Format: Electronic Resources<br/>Model Theory and Algebraic Geometry An introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjectureent://SD_ILS/0/SD_ILS:19379842024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Bouscaren, Elisabeth. editor. SpringerLink (Online service)<br/>Yer Numarası QA564 -609<br/>ISBN 9783540685210<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-540-68521-0">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Proof Theory of Modal Logicent://SD_ILS/0/SD_ILS:19368662024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Wansing, Heinrich. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401727983<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-2798-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Theory of Logical Calculi Basic Theory of Consequence Operationsent://SD_ILS/0/SD_ILS:19566382024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Wójcicki, Ryszard. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401569422<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-015-6942-2">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Writing Proofs in Analysisent://SD_ILS/0/SD_ILS:18922522024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Kane, Jonathan M. author. SpringerLink (Online service)<br/>Yer Numarası QA319 -329.9<br/>ISBN 9783319309675<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-30967-5">Full Text Available From Springer Nature Mathematics and Statistics 2016 Packages</a><br/>Format: Electronic Resources<br/>The Semantic Foundations of Logic Volume 1: Propositional Logicsent://SD_ILS/0/SD_ILS:19606552024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Epstein, R.L. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400905252<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-0525-2">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>An Accompaniment to Higher Mathematicsent://SD_ILS/0/SD_ILS:19346952024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Exner, George R. author. SpringerLink (Online service)<br/>Yer Numarası QA299.6 -433<br/>ISBN 9781461239987<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4612-3998-7">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>A Course on Basic Model Theoryent://SD_ILS/0/SD_ILS:18926612024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Introduction to Mathematical Structures and Proofsent://SD_ILS/0/SD_ILS:18900372024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Acting and Reflecting The Interdisciplinary Turn in Philosophyent://SD_ILS/0/SD_ILS:19584282024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Sieg, Wilfried. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400924765<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-2476-5">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>On Intuitionistic Fuzzy Sets Theoryent://SD_ILS/0/SD_ILS:18190652024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Atanassov, Krassimir T. author. SpringerLink (Online service)<br/>Yer Numarası Q342<br/>ISBN 9783642291272<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-29127-2">Full Text Available From Springer Nature Engineering 2012 Packages</a><br/>Format: Electronic Resources<br/>Random Sets Theory and Applicationsent://SD_ILS/0/SD_ILS:19316782024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Goutsias, John. editor. Mahler, Ronald P.S. editor. Nguyen, Hung T. editor. SpringerLink (Online service)<br/>Yer Numarası QA273 .A1-274.9<br/>ISBN 9781461219422<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4612-1942-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>A Cp-Theory Problem Book Special Features of Function Spacesent://SD_ILS/0/SD_ILS:18908642024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Tkachuk, Vladimir V. author. SpringerLink (Online service)<br/>Yer Numarası QA611 -614.97<br/>ISBN 9783319047478<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-04747-8">Full Text Available From Springer Nature Mathematics and Statistics 2014 Packages</a><br/>Format: Electronic Resources<br/>Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineeringent://SD_ILS/0/SD_ILS:19356052024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>More Sets, Graphs and Numbers A Salute to Vera Sòs and András Hajnalent://SD_ILS/0/SD_ILS:18878132024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Gyori, Ervin. editor. Katona, Gyula O.H. editor. Lovász, László. editor. SpringerLink (Online service)<br/>Yer Numarası QA297.4<br/>ISBN 9783540324393<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-540-32439-3">Full Text Available From Springer Nature Mathematics and Statistics 2006 Packages</a><br/>Format: Electronic Resources<br/>Formal Aspects of Contextent://SD_ILS/0/SD_ILS:19370852024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Bonzon, Pierre. editor. Cavalcanti, Marcos. editor. Nossum, Rolf. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401593977<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-015-9397-7">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>An Introduction to Kolmogorov Complexity and Its Applicationsent://SD_ILS/0/SD_ILS:19228062024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Li, Ming. author. Vitanyi, Paul. author. SpringerLink (Online service)<br/>Yer Numarası QA276 -280<br/>ISBN 9781475726060<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4757-2606-0">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Mathematical Principles of Fuzzy Logicent://SD_ILS/0/SD_ILS:19180432024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Directions in Relevant Logicent://SD_ILS/0/SD_ILS:19589112024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Norman, J. editor. Sylvan, R. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400910058<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-1005-8">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Studia Logica An International Journal for Symbolic Logicent://SD_ILS/0/SD_ILS:19840662024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Malinowski, Jacek. editor. Springer Journals SpringerLink Journals SpringerLink (Online service)<br/>Yer Numarası XX(1984066.1)<br/>ISSN 15728730<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/11225.1572-8730">Full Text Available From SpringerLink Journals</a><br/>Format: Electronic Resources<br/>Multi-Dimensional Modal Logicent://SD_ILS/0/SD_ILS:19368062024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Marx, Maarten. author. Venema, Yde. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401156943<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-5694-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Software Defect and Operational Profile Modelingent://SD_ILS/0/SD_ILS:19254842024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Kai-Yuan Cai. author. SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>ISBN 9781461555933<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-5593-3">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Reasoning with Actual and Potential Contradictionsent://SD_ILS/0/SD_ILS:19606392024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Gabbay, Dov M. editor. Smets, Philippe. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401717397<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-1739-7">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Brouwer meets Husserl On the Phenomenology of Choice Sequencesent://SD_ILS/0/SD_ILS:18882492024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>A Mathematical Prelude to the Philosophy of Mathematicsent://SD_ILS/0/SD_ILS:18500752024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Pollard, Stephen. author. SpringerLink (Online service)<br/>Yer Numarası Q174 -175.3<br/>ISBN 9783319058160<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-05816-0">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2014 Packages</a><br/>Format: Electronic Resources<br/>Noneist Explorations I The Sylvan Jungle - Volume 2ent://SD_ILS/0/SD_ILS:18688022024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Routley, Richard. author. Routley, Val. author. Hyde, Dominic. editor. SpringerLink (Online service)<br/>Yer Numarası BD143 -237<br/>ISBN 9783030263096<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-26309-6">Full Text Available From Springer Nature Religion and Philosophy 2019 Packages</a><br/>Format: Electronic Resources<br/>Diamonds and Defaults Studies in Pure and Applied Intensional Logicent://SD_ILS/0/SD_ILS:19565002024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar de Rijke, Maarten. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401582421<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-015-8242-1">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Games, Norms and Reasons Logic at the Crossroadsent://SD_ILS/0/SD_ILS:18481882024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar van Benthem, Johan. editor. Gupta, Amitabha. editor. Pacuit, Eric. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400707146<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-007-0714-6">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2011 Packages</a><br/>Format: Electronic Resources<br/>The Infinite in Mathematics Logico-mathematical writingsent://SD_ILS/0/SD_ILS:19564992024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Kaufmann, Felix. author. McGuinness, B.F. editor. SpringerLink (Online service)<br/>Yer Numarası Q174 -175.3<br/>ISBN 9789400997950<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-9795-0">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>First-Order Modal Logicent://SD_ILS/0/SD_ILS:19574982024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Fitting, M. author. Mendelsohn, Richard L. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401152921<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-5292-1">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>The Colorado Mathematical Olympiad: The Third Decade and Further Explorations From the Mountains of Colorado to the Peaks of Mathematicsent://SD_ILS/0/SD_ILS:18927882024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Soifer, Alexander. author. SpringerLink (Online service)<br/>Yer Numarası QA241 -247.5<br/>ISBN 9783319528618<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-52861-8">Full Text Available From Springer Nature Mathematics and Statistics 2017 Packages</a><br/>Format: Electronic Resources<br/>Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Languageent://SD_ILS/0/SD_ILS:18508292024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Torza, Alessandro. editor. SpringerLink (Online service)<br/>Yer Numarası BD143 -237<br/>ISBN 9783319183626<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-18362-6">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2015 Packages</a><br/>Format: Electronic Resources<br/>The Hyperuniverse Project and Maximalityent://SD_ILS/0/SD_ILS:18932382024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Theoremus A Student's Guide to Mathematical Proofsent://SD_ILS/0/SD_ILS:18866282024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Cruz, Lito Perez. author. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .M35<br/>ISBN 9783030683757<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-68375-7">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logic Volume III: Alternatives to Classical Logicent://SD_ILS/0/SD_ILS:19574162024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400952034<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-5203-4">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logic Volume I: Elements of Classical Logicent://SD_ILS/0/SD_ILS:19610302024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400970663<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-7066-3">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Exploring Meinong's Jungle and Beyond The Sylvan Jungle - Volume 1ent://SD_ILS/0/SD_ILS:18683372024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Routley, Richard. author. Eckert, Maureen. editor. SpringerLink (Online service)<br/>Yer Numarası BD143 -237<br/>ISBN 9783319787930<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-78793-0">Full Text Available From Springer Nature Religion and Philosophy 2018 Packages</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logic Volume IV: Topics in the Philosophy of Languageent://SD_ILS/0/SD_ILS:19588962024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400911710<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-1171-0">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Lie Algebrasent://SD_ILS/0/SD_ILS:18930242024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Akram, Muhammad. author. SpringerLink (Online service)<br/>Yer Numarası QA251<br/>ISBN 9789811332210<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-13-3221-0">Full Text Available From Springer Nature Mathematics and Statistics 2018 Packages</a><br/>Format: Electronic Resources<br/>Johan van Benthem on Logic and Information Dynamicsent://SD_ILS/0/SD_ILS:18499712024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Baltag, Alexandru. editor. Smets, Sonja. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783319060255<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-06025-5">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2014 Packages</a><br/>Format: Electronic Resources<br/>Sheaves in Geometry and Logic A First Introduction to Topos Theoryent://SD_ILS/0/SD_ILS:19336672024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar MacLane, Saunders. author. Moerdijk, Ieke. author. SpringerLink (Online service)<br/>Yer Numarası QA440 -699<br/>ISBN 9781461209270<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4612-0927-0">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Mathematics of Ramsey Theoryent://SD_ILS/0/SD_ILS:19345952024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Nesetril, Jaroslav. editor. Rödl, Vojtech. editor. SpringerLink (Online service)<br/>Yer Numarası QA297.4<br/>ISBN 9783642729058<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-72905-8">Full Text Available From Springer Nature Mathematics and Statistics Archive 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Fuzzy Relation Equations and Their Applications to Knowledge Engineeringent://SD_ILS/0/SD_ILS:19259762024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Classic Papers in Combinatoricsent://SD_ILS/0/SD_ILS:19339822024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Gessel, Ira. editor. Rota, Gian-Carlo. editor. SpringerLink (Online service)<br/>Yer Numarası QA297.4<br/>ISBN 9780817648428<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-0-8176-4842-8">Full Text Available From Springer Nature Mathematics and Statistics 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Basic Real Analysisent://SD_ILS/0/SD_ILS:18908932024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Sohrab, Houshang H. author. SpringerLink (Online service)<br/>Yer Numarası QA312 -312.5<br/>ISBN 9781493918416<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4939-1841-6">Full Text Available From Springer Nature Mathematics and Statistics 2014 Packages</a><br/>Format: Electronic Resources<br/>Mathematical Thought An Introduction to the Philosophy of Mathematicsent://SD_ILS/0/SD_ILS:19598542024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Beth, E.W. author. SpringerLink (Online service)<br/>Yer Numarası Q174 -175.3<br/>ISBN 9789401722070<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-2207-0">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Reflexive Structures An Introduction to Computability Theoryent://SD_ILS/0/SD_ILS:19314432024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Foundations of Mathematics Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödelent://SD_ILS/0/SD_ILS:19370592024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Introduction to Relation Algebras Relation Algebras, Volume 1ent://SD_ILS/0/SD_ILS:18926582024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Valued Fieldsent://SD_ILS/0/SD_ILS:18875722024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Engler, Antonio J. author. Prestel, Alexander. author. SpringerLink (Online service)<br/>Yer Numarası QA150 -272<br/>ISBN 9783540300359<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-30035-X">Full Text Available From Springer Nature Mathematics and Statistics 2015 Packages</a><br/>Format: Electronic Resources<br/>Reading, Writing, and Proving A Closer Look at Mathematicsent://SD_ILS/0/SD_ILS:18893582024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Complexity and Real Computationent://SD_ILS/0/SD_ILS:19226152024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Blum, Lenore. author. Cucker, Felipe. author. Shub, Michael. author. Smale, Steve. author. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>ISBN 9781461207016<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4612-0701-6">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Advanced Topics in Relation Algebras Relation Algebras, Volume 2ent://SD_ILS/0/SD_ILS:18927772024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Logic and Structureent://SD_ILS/0/SD_ILS:19360082024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>The Colorado Mathematical Olympiad and Further Explorations From the Mountains of Colorado to the Peaks of Mathematicsent://SD_ILS/0/SD_ILS:18897452024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Soifer, Alexander. author. SpringerLink (Online service)<br/>Yer Numarası QA150 -272<br/>ISBN 9780387754727<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-0-387-75472-7">Full Text Available From Springer Nature Mathematics and Statistics 2011 Packages</a><br/>Format: Electronic Resources<br/>A Proof Theory for General Unificationent://SD_ILS/0/SD_ILS:19316432024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Snyder, W. author. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>ISBN 9781461204350<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4612-0435-0">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Leśniewski's Systems of Logic and Foundations of Mathematicsent://SD_ILS/0/SD_ILS:18912702024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Urbaniak, Rafal. author. SpringerLink (Online service)<br/>Yer Numarası Q174 -175.3<br/>ISBN 9783319004822<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-00482-2">Full Text Available From Springer Nature Mathematics and Statistics 2014 Packages</a><br/>Format: Electronic Resources<br/>Category Theory Applications to Algebra, Logic and Topology. Proceedings of the International Conference Held at Gummersbach, July 6-10, 1981ent://SD_ILS/0/SD_ILS:19361812024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Kamps, K. H. editor. Pumplün, D. editor. Tholen, W. editor. SpringerLink (Online service)<br/>Yer Numarası QA612 -612.8<br/>ISBN 9783540395508<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0066878">Full Text Available From Springer Nature Mathematics and Statistics Archive 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Notes on Set Theoryent://SD_ILS/0/SD_ILS:18876142024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Structures in Logic and Computer Science A Selection of Essays in Honor of A. Ehrenfeuchtent://SD_ILS/0/SD_ILS:19267962024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Mycielski, Jan. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>ISBN 9783540692423<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-63246-8">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Ludwig Wittgenstein's Philosophical Investigations An Attempt at a Critical Rationalist Appraisalent://SD_ILS/0/SD_ILS:18683142024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Agassi, Joseph. author. SpringerLink (Online service)<br/>Yer Numarası B808.5 .A-Z<br/>ISBN 9783030001179<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-00117-9">Full Text Available From Springer Nature Religion and Philosophy 2018 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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 Panenmentalist Philosophy of Science From the Recognition of Individual Pure Possibilities to Actual Discoveriesent://SD_ILS/0/SD_ILS:18688552024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Gilead, Amihud. author. SpringerLink (Online service)<br/>Yer Numarası Q174 -175.3<br/>ISBN 9783030411244<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-41124-4">Full Text Available From Springer Nature Religion and Philosophy 2020 Packages</a><br/>Format: Electronic Resources<br/>Structural Complexity Ient://SD_ILS/0/SD_ILS:19259192024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Balcazar, Jose L. author. Diaz, Josep. author. Gabarro, Joaquim. author. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>ISBN 9783642970627<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-97062-7">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Mathematical Logicent://SD_ILS/0/SD_ILS:19340382024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Foundations of Mathematics Questions of Analysis, Geometry & Algorithmicsent://SD_ILS/0/SD_ILS:19325062024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Mathematical Logicent://SD_ILS/0/SD_ILS:18947132024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>The Theory of Indistinguishables A Search for Explanatory Principles Below the Level of Physicsent://SD_ILS/0/SD_ILS:19611472024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Parker-Rhodes, A.F. author. SpringerLink (Online service)<br/>Yer Numarası Q174 -175.3<br/>ISBN 9789400984011<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-8401-1">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Hilary Putnam on Logic and Mathematicsent://SD_ILS/0/SD_ILS:18930122024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Abductive Reasoning and Learningent://SD_ILS/0/SD_ILS:19361652024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Cardinal Invariants on Boolean Algebras Second Revised Editionent://SD_ILS/0/SD_ILS:18913112024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Mathematical Logic and Applications Proceedings of the Logic Meeting held in Kyoto, 1987ent://SD_ILS/0/SD_ILS:19343242024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Scenario Logic and Probabilistic Management of Risk in Business and Engineeringent://SD_ILS/0/SD_ILS:18873202024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Solojentsev, Evgueni D. author. SpringerLink (Online service)<br/>Yer Numarası HB139 -141<br/>ISBN 9781402029783<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/1-4020-2978-0">Full Text Available From Springer Nature Mathematics and Statistics 2015 Packages</a><br/>Format: Electronic Resources<br/>Logica: Metodo Breveent://SD_ILS/0/SD_ILS:18896962024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Recent Trends in Philosophical Logicent://SD_ILS/0/SD_ILS:18912602024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Ciuni, Roberto. editor. Wansing, Heinrich. editor. Willkommen, Caroline. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783319060804<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-06080-4">Full Text Available From Springer Nature Mathematics and Statistics 2014 Packages</a><br/>Format: Electronic Resources<br/>Advances in Intensional Logicent://SD_ILS/0/SD_ILS:19352112024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar de Rijke, Maarten. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401588799<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-015-8879-9">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>The Mathematics of Paul Erdős IIent://SD_ILS/0/SD_ILS:18902602024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Graham, Ronald L. editor. Nešetřil, Jaroslav. editor. Butler, Steve. editor. SpringerLink (Online service)<br/>Yer Numarası QA1 -939<br/>ISBN 9781461472544<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4614-7254-4">Full Text Available From Springer Nature Mathematics and Statistics 2013 Packages</a><br/>Format: Electronic Resources<br/>Theory of Finite and Infinite Graphsent://SD_ILS/0/SD_ILS:19329432024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar König, Denes. author. SpringerLink (Online service)<br/>Yer Numarası QA297.4<br/>ISBN 9781468489712<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4684-8971-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Algorithms: Main Ideas and Applicationsent://SD_ILS/0/SD_ILS:19367902024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Foundational Theories of Classical and Constructive Mathematicsent://SD_ILS/0/SD_ILS:18896312024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Pluralism in Mathematics: A New Position in Philosophy of Mathematicsent://SD_ILS/0/SD_ILS:18495982024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Friend, Michèle. author. SpringerLink (Online service)<br/>Yer Numarası Q174 -175.3<br/>ISBN 9789400770584<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-007-7058-4">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2014 Packages</a><br/>Format: Electronic Resources<br/>The Lvov-Warsaw School. Past and Presentent://SD_ILS/0/SD_ILS:18932022024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Cardinal Invariants on Boolean Algebrasent://SD_ILS/0/SD_ILS:19358262024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Monk, J. Donald. author. SpringerLink (Online service)<br/>Yer Numarası QA150 -272<br/>ISBN 9783034603348<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-0346-0334-8">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Categorical Topology Proceedings of the L'Aquila Conference (1994)ent://SD_ILS/0/SD_ILS:19362122024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Giuli, Eraldo. editor. SpringerLink (Online service)<br/>Yer Numarası QA169<br/>ISBN 9789400902633<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-0263-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Belief Changeent://SD_ILS/0/SD_ILS:19366292024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Model Theory in Algebra, Analysis and Arithmetic Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalorient://SD_ILS/0/SD_ILS:18912962024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Strict Finitism and the Logic of Mathematical Applicationsent://SD_ILS/0/SD_ILS:18480682024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Thinking Programs Logical Modeling and Reasoning About Languages, Data, Computations, and Executionsent://SD_ILS/0/SD_ILS:18868442024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Logica Volume 2 - Incompletezza, teoria assiomatica degli insiemient://SD_ILS/0/SD_ILS:18930062024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Methods of Cut-Eliminationent://SD_ILS/0/SD_ILS:18897562024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Quantified Representation of Uncertainty and Imprecisionent://SD_ILS/0/SD_ILS:19559002024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Gabbay, Dov M. editor. Smets, Philippe. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401717359<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-1735-9">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Quantum Computation and Logic How Quantum Computers Have Inspired Logical Investigationsent://SD_ILS/0/SD_ILS:18933292024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Dalla Chiara, Maria Luisa. author. Giuntini, Roberto. author. Leporini, Roberto. author. Sergioli, Giuseppe. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783030044718<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-04471-8">Full Text Available From Springer Nature Mathematics and Statistics 2018 Packages</a><br/>Format: Electronic Resources<br/>Mathematical Olympiad Treasuresent://SD_ILS/0/SD_ILS:18899022024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Andreescu, Titu. author. Enescu, Bogdan. author. SpringerLink (Online service)<br/>Yer Numarası QA297.4<br/>ISBN 9780817682538<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-0-8176-8253-8">Full Text Available From Springer Nature Mathematics and Statistics 2012 Packages</a><br/>Format: Electronic Resources<br/>The Square of Opposition: A Cornerstone of Thoughtent://SD_ILS/0/SD_ILS:18923762024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Béziau, Jean-Yves. editor. Basti, Gianfranco. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783319450629<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-45062-9">Full Text Available From Springer Nature Mathematics and Statistics 2017 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>A Short Introduction to Intuitionistic Logicent://SD_ILS/0/SD_ILS:19337582024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>A Concise Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:18891632024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>New Directions in Paraconsistent Logic 5th WCP, Kolkata, India, February 2014ent://SD_ILS/0/SD_ILS:18915572024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Truthlikenessent://SD_ILS/0/SD_ILS:19603422024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Niiniluoto, I. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400937390<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-3739-0">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Nonstandard Analysis for the Working Mathematicianent://SD_ILS/0/SD_ILS:19369472024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Loeb, Peter A. editor. Wolff, Manfred P.H. editor. SpringerLink (Online service)<br/>Yer Numarası QA331.5<br/>ISBN 9789401141680<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-4168-0">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Category Theory Proceedings of the International Conference held in Como, Italy, July 22-28, 1990ent://SD_ILS/0/SD_ILS:19309182024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Carboni, Aurelio. editor. Pedicchio, Maria C. editor. Rosolini, Giuseppe. editor. SpringerLink (Online service)<br/>Yer Numarası QA611 -614.97<br/>ISBN 9783540464358<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0084207">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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>An Invitation to Abstract Mathematicsent://SD_ILS/0/SD_ILS:18903172024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Bajnok, Béla. author. SpringerLink (Online service)<br/>Yer Numarası QA1 -939<br/>ISBN 9781461466369<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4614-6636-9">Full Text Available From Springer Nature Mathematics and Statistics 2013 Packages</a><br/>Format: Electronic Resources<br/>Dynamics and Management of Reasoning Processesent://SD_ILS/0/SD_ILS:19356942024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Intuitionistic Fuzzy Sets Theory and Applicationsent://SD_ILS/0/SD_ILS:19205812024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Ideal Spacesent://SD_ILS/0/SD_ILS:19350062024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Väth, Martin. author. SpringerLink (Online service)<br/>Yer Numarası QA319 -329.9<br/>ISBN 9783540691921<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0093548">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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>Automated Theorem Provingent://SD_ILS/0/SD_ILS:19251692024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Bibel, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası QA267 -268.5<br/>ISBN 9783322901026<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-322-90102-6">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Substructural Logics: A Primerent://SD_ILS/0/SD_ILS:19376172024-11-10T04:46:56Z2024-11-10T04:46:56ZYazar Paoli, F. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401731799<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-3179-9">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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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-10T04:46:56Z2024-11-10T04:46:56ZYazar 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/>