Search Results for - Narrowed by: Mathematics. - Mathematical Logic and Formal Languages.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Mathematics.$002509Mathematics.$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026ps$003d300?2024-06-07T08:58:22ZAnalysis and Synthesis of Logics How to Cut and Paste Reasoning Systemsent://SD_ILS/0/SD_ILS:5021442024-06-07T08:58:22Z2024-06-07T08:58:22Zby Carnielli, Walter. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4020-6782-2">http://dx.doi.org/10.1007/978-1-4020-6782-2</a><br/>Format: Electronic Resources<br/>Mathematical Linguisticsent://SD_ILS/0/SD_ILS:5024492024-06-07T08:58:22Z2024-06-07T08:58:22Zby Kornai, András. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84628-986-6">http://dx.doi.org/10.1007/978-1-84628-986-6</a><br/>Format: Electronic Resources<br/>Institution-independent Model Theoryent://SD_ILS/0/SD_ILS:5039202024-06-07T08:58:22Z2024-06-07T08:58:22Zby Diaconescu, Răzvan. author.<br/><a href="http://dx.doi.org/10.1007/978-3-7643-8708-2">http://dx.doi.org/10.1007/978-3-7643-8708-2</a><br/>Format: Electronic Resources<br/>Logica Universalis Towards a General Theory of Logicent://SD_ILS/0/SD_ILS:5132242024-06-07T08:58:22Z2024-06-07T08:58:22Zby Beziau, Jean-Yves. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-7643-8354-1">http://dx.doi.org/10.1007/978-3-7643-8354-1</a><br/>Format: Electronic Resources<br/>Ernst Zermelo An Approach to His Life and Workent://SD_ILS/0/SD_ILS:5119752024-06-07T08:58:22Z2024-06-07T08:58:22Zby Ebbinghaus, Heinz-Dieter. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-49553-6">http://dx.doi.org/10.1007/978-3-540-49553-6</a><br/>Format: Electronic Resources<br/>Mathematical Problems from Applied Logic I Logics for the XXIst Centuryent://SD_ILS/0/SD_ILS:5050472024-06-07T08:58:22Z2024-06-07T08:58:22Zby Gabbay, Dov M. editor.<br/><a href="http://dx.doi.org/10.1007/0-387-31072-X">http://dx.doi.org/10.1007/0-387-31072-X</a><br/>Format: Electronic Resources<br/>M-Solid Varieties of Algebrasent://SD_ILS/0/SD_ILS:5050272024-06-07T08:58:22Z2024-06-07T08:58:22Zby Koppitz, J. author.<br/><a href="http://dx.doi.org/10.1007/0-387-30806-7">http://dx.doi.org/10.1007/0-387-30806-7</a><br/>Format: Electronic Resources<br/>Modelling and Reasoning with Vague Conceptsent://SD_ILS/0/SD_ILS:5049822024-06-07T08:58:22Z2024-06-07T08:58:22Zby Lawry, Jonathan. author.<br/><a href="http://dx.doi.org/10.1007/0-387-30262-X">http://dx.doi.org/10.1007/0-387-30262-X</a><br/>Format: Electronic Resources<br/>Notes on Set Theoryent://SD_ILS/0/SD_ILS:5050912024-06-07T08:58:22Z2024-06-07T08:58:22Zby Moschovakis, Yiannis. author.<br/><a href="http://dx.doi.org/10.1007/0-387-31609-4">http://dx.doi.org/10.1007/0-387-31609-4</a><br/>Format: Electronic Resources<br/>OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundyent://SD_ILS/0/SD_ILS:5115802024-06-07T08:58:22Z2024-06-07T08:58:22Zby Kohlhase, Michael. author.<br/><a href="http://dx.doi.org/10.1007/11826095">http://dx.doi.org/10.1007/11826095</a><br/>Format: Electronic Resources<br/>Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)ent://SD_ILS/0/SD_ILS:5114412024-06-07T08:58:22Z2024-06-07T08:58:22Zby Mazzola, Guerino. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-36874-8">http://dx.doi.org/10.1007/978-3-540-36874-8</a><br/>Format: Electronic Resources<br/>Decision Theory and Multi-Agent Planningent://SD_ILS/0/SD_ILS:5087852024-06-07T08:58:22Z2024-06-07T08:58:22Zby Riccia, Giacomo. editor.<br/><a href="http://dx.doi.org/10.1007/3-211-38167-8">http://dx.doi.org/10.1007/3-211-38167-8</a><br/>Format: Electronic Resources<br/>Logica Universalis Towards a General Theory of Logicent://SD_ILS/0/SD_ILS:5130522024-06-07T08:58:22Z2024-06-07T08:58:22Zby Beziau, Jean-Yves. editor.<br/><a href="http://dx.doi.org/10.1007/b137041">http://dx.doi.org/10.1007/b137041</a><br/>Format: Electronic Resources<br/>Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculusent://SD_ILS/0/SD_ILS:5090462024-06-07T08:58:22Z2024-06-07T08:58:22Zby Mazzola, Guerino. author.<br/><a href="http://dx.doi.org/10.1007/b138337">http://dx.doi.org/10.1007/b138337</a><br/>Format: Electronic Resources<br/>Discrete, Continuous, and Hybrid Petri Netsent://SD_ILS/0/SD_ILS:5090002024-06-07T08:58:22Z2024-06-07T08:58:22Zby David, René. author.<br/><a href="http://dx.doi.org/10.1007/b138130">http://dx.doi.org/10.1007/b138130</a><br/>Format: Electronic Resources<br/>