Logic, Symbolic and mathematical

Resource Information

The concept Logic, Symbolic and mathematical represents the subject, aboutness, idea or notion of resources found in Bates College.

The Resource Logic, Symbolic and mathematical

Label: Logic, Symbolic and mathematical

Focus

Logic, Symbolic and mathematical
Logic, Symbolic and mathematical

A sample of Items that share the Concept Logic, Symbolic and mathematical See All

A Concise Introduction to Mathematical Logic, by Wolfgang Rautenberg, (electronic resource)

Borrow it

A Course on Basic Model Theory, by Haimanti Sarbadhikari, Shashi Mohan Srivastava, (electronic resource)

Borrow it

A Course on Mathematical Logic, by Shashi Mohan Srivastava, (electronic resource)

Borrow it

A Cp-Theory Problem Book : Special Features of Function Spaces, by Vladimir V. Tkachuk, (electronic resource)

Borrow it

A History of Folding in Mathematics : Mathematizing the Margins, by Michael Friedman, (electronic resource)

Borrow it

A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, edited by Sam Lindley, Conor McBride, Phil Trinder, Don Sannella, (electronic resource)

Borrow it

A Mathematical Prelude to the Philosophy of Mathematics, by Stephen Pollard, (electronic resource)

Borrow it

A Model-Theoretic Approach to Proof Theory, by Henryk Kotlarski ; edited by Zofia Adamowicz, Teresa Bigorajska, Konrad Zdanowski, (electronic resource)

Borrow it

A New Perspective on Nonmonotonic Logics, by Dov M. Gabbay, Karl Schlechta, (electronic resource)

Borrow it

A concise introduction to mathematical logic, Wolfgang Rautenberg, (electronic resource)

Borrow it

A course in mathematical logic for mathematicians, Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin, (electronic resource)

Borrow it

A course on mathematical logic, S.M. Srivastava, (electronic resource)

Borrow it

A first course in mathematical logic and set theory, Michael L. O'Leary, College of DuPage, (electronic resource)

Borrow it

A framework for priority arguments, Manuel Lerman, (electronic resource)

Borrow it

A guide to NIP theories, Pierre Simon, CNRS, Université Lyon I, (electronic resource)

Borrow it

A logical introduction to proof, Daniel W. Cunningham, (electronic resource)

Borrow it

A science of operations : machines, logic and the invention of programming, Mark Priestley, (electronic resource)

Borrow it

A tour through mathematical logic, Robert S. Wolf

Borrow it

AI*IA 2015 Advances in Artificial Intelligence : XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings, edited by Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, (electronic resource)

Borrow it

AI*IA 2016 Advances in Artificial Intelligence : XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 {u2013} December 1, 2016, Proceedings, edited by Giovanni Adorni, Stefano Cagnoni, Marco Gori, Marco Maratea, (electronic resource)

Borrow it

AI*IA 2019 - Advances in Artificial Intelligence : XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019, Proceedings, edited by Mario Alviano, Gianluigi Greco, Francesco Scarcello, (electronic resource)

Borrow it

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5{u2013}8, 2018, Proceedings, edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl, (electronic resource)

Borrow it

Adapting proofs-as-programs : the Curry-Howard protocol, Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing, (electronic resource)

Borrow it

Advanced Computing Strategies for Engineering : 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II, edited by Ian F. C. Smith, Bernd Domer, (electronic resource)

Borrow it

Advanced Information Systems Engineering : 31st International Conference, CAiSE 2019, Rome, Italy, June 3-7, 2019, Proceedings, edited by Paolo Giorgini, Barbara Weber, (electronic resource)

Borrow it

Advanced Topics in Relation Algebras : Relation Algebras, Volume 2, by Steven Givant, (electronic resource)

Borrow it

Advanced Łukasiewicz calculus and MV-algebras, D. Mundici, (electronic resource)

Borrow it

Advances in Conceptual Modeling : ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4-7, 2019, Proceedings, edited by Giancarlo Guizzardi, Frederik Gailly, Rita Suzana Pitangueira Maciel, (electronic resource)

Borrow it

Advances in Information Retrieval : 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 - April 1, 2021, Proceedings, Part I, edited by Djoerd Hiemstra, Marie-Francine Moens, Josiane Mothe, Raffaele Perego, Martin Potthast, Fabrizio Sebastiani, (electronic resource)

Borrow it

Advances in Natural Deduction : A Celebration of Dag Prawitz's Work, edited by Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva, (electronic resource)

Borrow it

Advances in Proof Theory, edited by Reinhard Kahle, Thomas Strahm, Thomas Studer, (electronic resource)

Borrow it

Advances in Proof-Theoretic Semantics, edited by Thomas Piecha, Peter Schroeder-Heister, (electronic resource)

Borrow it

Advances in Soft Computing : 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 - November 2, 2019, Proceedings, edited by Lourdes Martínez-Villaseñor, Ildar Batyrshin, Antonio Marín-Hernández, (electronic resource)

Borrow it

After Gödel : Platonism and rationalism in mathematics and logic, Richard Tieszen, (electronic resource)

Borrow it

After Gödel : Platonism and rationalism in mathematics and logic, by Richard Tieszen, (electronic resource)

Borrow it

Agents and Artificial Intelligence : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers, edited by Jaap van den Herik, Joaquim Filipe, (electronic resource)

Borrow it

Agents and Artificial Intelligence : 9th International Conference, ICAART 2017, Porto, Portugal, February 24{u2013}26, 2017, Revised Selected Papers, edited by Jaap van den Herik, Ana Paula Rocha, Joaquim Filipe, (electronic resource)

Borrow it

Alan Turing : his work and impact, S. Barry Cooper and J. van Leeuwen

Borrow it

Alfred Tarski : Early Work in Poland-Geometry and Teaching, edited by Andrew McFarland, Joanna McFarland, James T. Smith, (electronic resource)

Borrow it

Algebraic Informatics : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, edited by Andreas Maletti, (electronic resource)

Borrow it

Algorithmic Aspects of Cloud Computing : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers, edited by Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos, (electronic resource)

Borrow it

Algorithms - ESA 2015 : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings, edited by Nikhil Bansal, Irene Finocchi, (electronic resource)

Borrow it

An Introduction to the Technique of Formative Processes in Set Theory, by Domenico Cantone, Pietro Ursino, (electronic resource)

Borrow it

An Invitation to Abstract Mathematics, by Béla Bajnok, (electronic resource)

Borrow it

An Invitation to Abstract Mathematics, by Béla Bajnok, (electronic resource)

Borrow it

An examination of a decision procedure, by Francis C. Oglesby, (electronic resource)

Borrow it

An introduction to Gödel's Theorems, Peter Smith, (electronic resource)

Borrow it

An invitation to applied category theory : seven sketches in compositionality, Brendan Fong (Massachusetts Institute of Technology), David I. Spivak (Massachusetts Institute of Technology), (electronic resource)

Borrow it

Analysis and logic, edited by Catherine Finet & Christian Michaux ; authors, C. Ward Henson [and others], (electronic resource)

Borrow it

Analysis and synthesis of logics : how to cut and paste reasoning systems, Walter Carnielli ... [et al.], (electronic resource)

Borrow it

Andrzej Mostowski and foundational studies, edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny, (electronic resource)

Borrow it

Appalachian set theory : 2006-2012, [edited by] James Cummings, Ernest Schimmerling, (electronic resource)

Borrow it

Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25{u2013}30, 2017, Proceedings, edited by Wil van der Aalst, Eike Best, (electronic resource)

Borrow it

Applications of Mathematics and Informatics in Natural Sciences and Engineering : AMINSE 2019, Tbilisi, Georgia, September 23-26, edited by George Jaiani, David Natroshvili, (electronic resource)

Borrow it

Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs, by Mauricio Ayala-Rincón, Flávio L. C. de Moura, (electronic resource)

Borrow it

Around and beyond the square of opposition, Jean-Yves Béziau, Dale Jacquette, editors, (electronic resource)

Borrow it

Artificial Adaptive Systems Using Auto Contractive Maps : Theory, Applications and Extensions, by Paolo Massimo Buscema, Giulia Massini, Marco Breda, Weldon A. Lodwick, Francis Newman, Masoud Asadi-Zeydabadi, (electronic resource)

Borrow it

Artificial General Intelligence : 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings, edited by Tom Everitt, Ben Goertzel, Alexey Potapov, (electronic resource)

Borrow it

Artificial Intelligence : 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21-25, 2019, Proceedings, edited by Sergei O. Kuznetsov, Aleksandr I. Panov, (electronic resource)

Borrow it

Artificial Intelligence Applications and Innovations : 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24-26, 2019, Proceedings, edited by John MacIntyre, Ilias Maglogiannis, Lazaros Iliadis, Elias Pimenidis, (electronic resource)

Borrow it

Artificial Intelligence in Medicine : 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings, edited by Annette ten Teije, Christian Popow, John H. Holmes, Lucia Sacchi, (electronic resource)

Borrow it

Artificial Life and Evolutionary Computation : 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers, edited by Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani, (electronic resource)

Borrow it

Artificial Life and Evolutionary Computation : 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10-12, 2018, Revised Selected Papers, edited by Stefano Cagnoni, Monica Mordonini, Riccardo Pecori, Andrea Roli, Marco Villani, (electronic resource)

Borrow it

At the Intersection of Language, Logic, and Information : ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6-17, 2018, Selected Papers, edited by Jennifer Sikos, Eric Pacuit, (electronic resource)

Borrow it

Automated Deduction - CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, edited by Pascal Fontaine, (electronic resource)

Borrow it

Automated Deduction {u2013} CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6{u2013}11, 2017, Proceedings, edited by Leonardo de Moura, (electronic resource)

Borrow it

Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I, edited by Nicolas Peltier, Viorica Sofronie-Stokkermans, (electronic resource)

Borrow it

Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II, edited by Nicolas Peltier, Viorica Sofronie-Stokkermans, (electronic resource)

Borrow it

Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 {u2013} July 2, 2016, Proceedings, edited by Nicola Olivetti, Ashish Tiwari, (electronic resource)

Borrow it

Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, edited by Didier Galmiche, Stephan Schulz, Roberto Sebastiani, (electronic resource)

Borrow it

Automated Reasoning with Analytic Tableaux and Related Methods : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings, edited by Hans De Nivelle, (electronic resource)

Borrow it

Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25{u2013}28, 2017, Proceedings, edited by Renate A. Schmidt, Cláudia Nalon, (electronic resource)

Borrow it

Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings, edited by Serenella Cerrito, Andrei Popescu, (electronic resource)

Borrow it

Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, edited by Cyrille Artho, Axel Legay, Doron Peled, (electronic resource)

Borrow it

Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, edited by Shuvendu K. Lahiri, Chao Wang, (electronic resource)

Borrow it

Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, edited by Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza, (electronic resource)

Borrow it

Autonomy Platonism and the indispensability argument, Russell Marcus, (electronic resource)

Borrow it

Axiomatic method and category theory, Andrei Rodin, (electronic resource)

Borrow it

Basic Real Analysis, by Houshang H. Sohrab, (electronic resource)

Borrow it

Beginning MATLAB and Simulink : From Novice to Professional, by Sulaymon Eshkabilov, (electronic resource)

Borrow it

Between logic and intuition : essays in honor of Charles Parsons, edited by Gila Sher, Richard Tieszen, (electronic resource)

Borrow it

Beyond sets : a venture in collection-theoretic revisionism, Nicholas Reschler and Patrick Grim, (electronic resource)

Borrow it

Beyond the Horizon of Computability : 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings, edited by Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly, (electronic resource)

Borrow it

Bioinformatics Research and Applications : 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3-6, 2019, Proceedings, edited by Zhipeng Cai, Pavel Skums, Min Li, (electronic resource)

Borrow it

Bioinformatics and Biomedical Engineering : 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I, edited by Ignacio Rojas, Olga Valenzuela, Fernando Rojas, Francisco Ortuño, (electronic resource)

Borrow it

Bioinformatics and Biomedical Engineering : 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II, edited by Ignacio Rojas, Olga Valenzuela, Fernando Rojas, Francisco Ortuño, (electronic resource)

Borrow it

Biological Models via Interval Type-2 Fuzzy Sets, by Rosana Sueli da Motta Jafelice, Ana Maria Amarillo Bertone, (electronic resource)

Borrow it

Calcolo geometrico secondo l'Ausdehnungslehre di H. Grassmann : preceduto dalle operazioni della logica deduttiva, per Giuseppe Peano, (electronic resource)

Borrow it

Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness, by Jan von Plato, (electronic resource)

Borrow it

Case-Based Reasoning Research and Development : 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8-12, 2020, Proceedings, edited by Ian Watson, Rosina Weber, (electronic resource)

Borrow it

Cellular Automata and Discrete Complex Systems : 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings, edited by Matthew Cook, Turlough Neary, (electronic resource)

Borrow it

Cellular Automata and Discrete Complex Systems : 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings, edited by Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca, (electronic resource)

Borrow it

Cellular Automata and Discrete Complex Systems : 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20{u2013}22, 2018, Proceedings, edited by Jan M. Baetens, Martin Kutrib, (electronic resource)

Borrow it

Cellular Automata and Discrete Complex Systems : 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26-28, 2019, Proceedings, edited by Alonso Castillo-Ramirez, Pedro P. B. de Oliveira, (electronic resource)

Borrow it

Chinese Lexical Semantics : 20th Workshop, CLSW 2019, Beijing, China, June 28-30, 2019, Revised Selected Papers, edited by Jia-Fei Hong, Yangsen Zhang, Pengyuan Liu, (electronic resource)

Borrow it

Classical Descriptive Set Theory, by Alexander S. Kechris, (electronic resource)

Borrow it

Classical groups, derangements, and primes, Timothy C. Burness, University of Bristol, Michael Giudici, The University of Western Australia, (electronic resource)

Borrow it

Classical mathematical logic : the semantic foundations of logic, Richard L. Epstein ; with contributions by Lesław W. Szczerba, (electronic resource)

Borrow it

Coalgebraic Methods in Computer Science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers, edited by Ichiro Hasuo, (electronic resource)

Borrow it

Coalgebraic Methods in Computer Science : 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings, edited by Daniela Petrişan, Jurriaan Rot, (electronic resource)

Borrow it

Context

Context of Logic, Symbolic and mathematical

Subject of

No resources found

No enriched resources found

A Concise Introduction to Mathematical Logic
A Course on Basic Model Theory
A Course on Mathematical Logic
A Cp-Theory Problem Book : Special Features of Function Spaces
A History of Folding in Mathematics : Mathematizing the Margins
A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
A Mathematical Prelude to the Philosophy of Mathematics
A Model-Theoretic Approach to Proof Theory
A New Perspective on Nonmonotonic Logics
A concise introduction to mathematical logic
A course in mathematical logic for mathematicians
A course on mathematical logic
A first course in mathematical logic and set theory
A framework for priority arguments
A guide to NIP theories
A logical introduction to proof
A science of operations : machines, logic and the invention of programming
A tour through mathematical logic
AI*IA 2015 Advances in Artificial Intelligence : XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings
AI*IA 2016 Advances in Artificial Intelligence : XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 {u2013} December 1, 2016, Proceedings
AI*IA 2019 - Advances in Artificial Intelligence : XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019, Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5{u2013}8, 2018, Proceedings
Adapting proofs-as-programs : the Curry-Howard protocol
Advanced Computing Strategies for Engineering : 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II
Advanced Information Systems Engineering : 31st International Conference, CAiSE 2019, Rome, Italy, June 3-7, 2019, Proceedings
Advanced Topics in Relation Algebras : Relation Algebras, Volume 2
Advanced Łukasiewicz calculus and MV-algebras
Advances in Conceptual Modeling : ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4-7, 2019, Proceedings
Advances in Information Retrieval : 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 - April 1, 2021, Proceedings, Part I
Advances in Natural Deduction : A Celebration of Dag Prawitz's Work
Advances in Proof Theory
Advances in Proof-Theoretic Semantics
Advances in Soft Computing : 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 - November 2, 2019, Proceedings
After Gödel : Platonism and rationalism in mathematics and logic
After Gödel : Platonism and rationalism in mathematics and logic
Agents and Artificial Intelligence : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers
Agents and Artificial Intelligence : 9th International Conference, ICAART 2017, Porto, Portugal, February 24{u2013}26, 2017, Revised Selected Papers
Alan Turing : his work and impact
Alfred Tarski : Early Work in Poland-Geometry and Teaching
Algebraic Informatics : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings
Algorithmic Aspects of Cloud Computing : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers
Algorithms - ESA 2015 : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
An Introduction to the Technique of Formative Processes in Set Theory
An Invitation to Abstract Mathematics
An Invitation to Abstract Mathematics
An examination of a decision procedure
An introduction to Gödel's Theorems
An invitation to applied category theory : seven sketches in compositionality
Analysis and logic
Analysis and synthesis of logics : how to cut and paste reasoning systems
Andrzej Mostowski and foundational studies
Appalachian set theory : 2006-2012
Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25{u2013}30, 2017, Proceedings
Applications of Mathematics and Informatics in Natural Sciences and Engineering : AMINSE 2019, Tbilisi, Georgia, September 23-26
Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs
Around and beyond the square of opposition
Artificial Adaptive Systems Using Auto Contractive Maps : Theory, Applications and Extensions
Artificial General Intelligence : 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings
Artificial Intelligence : 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21-25, 2019, Proceedings
Artificial Intelligence Applications and Innovations : 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24-26, 2019, Proceedings
Artificial Intelligence in Medicine : 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings
Artificial Life and Evolutionary Computation : 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers
Artificial Life and Evolutionary Computation : 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10-12, 2018, Revised Selected Papers
At the Intersection of Language, Logic, and Information : ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6-17, 2018, Selected Papers
Automated Deduction - CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings
Automated Deduction {u2013} CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6{u2013}11, 2017, Proceedings
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II
Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 {u2013} July 2, 2016, Proceedings
Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25{u2013}28, 2017, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
Autonomy Platonism and the indispensability argument
Axiomatic method and category theory
Basic Real Analysis
Beginning MATLAB and Simulink : From Novice to Professional
Between logic and intuition : essays in honor of Charles Parsons
Beyond sets : a venture in collection-theoretic revisionism
Beyond the Horizon of Computability : 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings
Bioinformatics Research and Applications : 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3-6, 2019, Proceedings
Bioinformatics and Biomedical Engineering : 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I
Bioinformatics and Biomedical Engineering : 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II
Biological Models via Interval Type-2 Fuzzy Sets
Calcolo geometrico secondo l'Ausdehnungslehre di H. Grassmann : preceduto dalle operazioni della logica deduttiva
Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness
Case-Based Reasoning Research and Development : 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8-12, 2020, Proceedings
Cellular Automata and Discrete Complex Systems : 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings
Cellular Automata and Discrete Complex Systems : 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
Cellular Automata and Discrete Complex Systems : 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20{u2013}22, 2018, Proceedings
Cellular Automata and Discrete Complex Systems : 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26-28, 2019, Proceedings
Chinese Lexical Semantics : 20th Workshop, CLSW 2019, Beijing, China, June 28-30, 2019, Revised Selected Papers
Classical Descriptive Set Theory
Classical groups, derangements, and primes
Classical mathematical logic : the semantic foundations of logic
Coalgebraic Methods in Computer Science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Coalgebraic Methods in Computer Science : 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings
Coding the universe
Cognitive reasoning : a formal approach
Combinatorial Algebra: Syntax and Semantics
Combinatorial Algorithms : 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers
Combinatorial Algorithms : 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings
Combinatorial Set Theory : With a Gentle Introduction to Forcing
Combinatorial Set Theory : With a Gentle Introduction to Forcing
Combinatorial Set Theory of C*-algebras
Combinatorics on Words : 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings
Combinatorics on Words : 12th International Conference, WORDS 2019, Loughborough, UK, September 9-13, 2019, Proceedings
Complexity and Real Computation
Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
Computability and logic
Computability and logic
Computational Artifacts : Towards a Philosophy of Computer Science
Computational Complexity of Solving Equation Systems
Computational Intelligence Methods for Bioinformatics and Biostatistics : 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers
Computational Methods in Systems Biology : 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Computer Safety, Reliability, and Security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Computer Science {u2013} Theory and Applications : 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
Computer Science {u2013} Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
Computing and Combinatorics : 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
Computing with Foresight and Industry : 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings
Concepts of proof in mathematics, philosophy, and computer science
Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications
Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Conditional and preferential logics : proof methods and theorem proving
Constructibility and mathematical existence
Constructive Commutative Algebra : Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases
Constructive Negations and Paraconsistency
Constructivity and Computability in Historical and Philosophical Perspective
Contradictions, from Consistency to Inconsistency
Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18{u2013}20, 2017, Proceedings
Cultures of Mathematics and Logic : Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012
Dag Prawitz on Proofs and Meaning
Data Analytics and Management in Data Intensive Domains : 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9-12, 2018, Revised Selected Papers
Data Integration in the Life Sciences : 13th International Conference, DILS 2018, Hannover, Germany, November 20-21, 2018, Proceedings
Data Management Technologies and Applications : 6th International Conference, DATA 2017, Madrid, Spain, July 24{u2013}26, 2017, Revised Selected Papers
Database and Expert Systems Applications : 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I
Database and Expert Systems Applications : 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II
David Makinson on classical methods for nonclassical problems
Decidability of Logical Theories and Their Combination
Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers
Deducibility and decidability
Deep Learning with Python : A Hands-on Introduction
Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Dependence Logic : Theory and Applications
Description Logic, Theory Combination, and All That : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Description Logics in Multimedia Reasoning
Descriptional Complexity of Formal Systems : 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
Descriptional Complexity of Formal Systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, Proceedings
Descriptional Complexity of Formal Systems : 22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020, Proceedings
Descriptive Set Theoretic Methods in Automata Theory : Decidability and Topological Complexity
Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude
Developments in Language Theory : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
Developments in Language Theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Developments in Language Theory : 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings
Diagonalization in Formal Mathematics
Diagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings
Diamond : a paradox logic
Directed Algebraic Topology and Concurrency
Discovering patterns in mathematics and poetry
Duality Theories for Boolean Algebras with Operators
Dynamic Logic. New Trends and Applications : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Educational algebra : a theoretical and empirical approach
Elements of causal inference : foundations and learning algorithms
Elements of logical reasoning
Elucidating the Tractatus : Wittgenstein's early philosophy of logic and language
Engineering Multi-Agent Systems : 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers
Engineering Multi-Agent Systems : 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers
Engineering Trustworthy Software Systems : 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
Epistemic logic for AI and computer science
Ernst Zermelo : An Approach to His Life and Work
Essays in the philosophy and history of logic and mathematics
Essays on Gödel{u2019}s Reception of Leibniz, Husserl, and Brouwer
Essays on Wittgenstein's Tractatus
Essays on the foundations of mathematics
Essentials of symbolic logic
Excursions in the History of Mathematics
Explaining beauty in mathematics : an aesthetic theory of mathematics
FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Facets of Uncertainties and Applications : ICFUA, Kolkata, India, December 2013
Feferman on Foundations : Logic, Mathematics, Philosophy
Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
Finite Mathematics as the Foundation of Classical Mathematics and Quantum Theory : With Applications to Gravity and Particle Theory
Finitely Supported Mathematics : An Introduction
First-Order Logic and Automated Theorem Proving
Fixing Frege
Flexible Query Answering Systems : 13th International Conference, FQAS 2019, Amantea, Italy, July 2-5, 2019, Proceedings
Fork algebras in algebra : logic and computer science
Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Formal Aspects of Component Software : 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings
Formal Concept Analysis : 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019, Proceedings
Formal Grammar 2018 : 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings
Formal Grammar : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings
Formal Grammar : 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers
Formal Grammar : 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings
Formal Languages and Compilation
Formal Methods - Fun for Everybody : First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers
Formal Methods - The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Formal Methods and Software Engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 {u2013} November 1, 2013, Proceedings
Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings
Formal Modeling and Analysis of Timed Systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5{u2013}7, 2017, Proceedings
Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Formal concept analysis : foundations and applications
Formalism and beyond : on the nature of mathematical discourse
Foundational Theories of Classical and Constructive Mathematics
Foundations of Finitely Supported Structures : A Set Theoretical Viewpoint
Foundations of Information and Knowledge Systems : 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14{u2013}18, 2018, Proceedings
Foundations of Information and Knowledge Systems : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings
Foundations of Information and Knowledge Systems : 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings
Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Foundations without foundationalism : a case for second-order logic
Foundations without foundationalism : a case for second-order logic
Freedom and Enforcement in Action : A Study in Formal Action Theory
Frege and other philosophers
Frege's logic
From Logic to Practice : Italian Studies in the Philosophy of Mathematics
From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Frontiers of Combining Systems : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
Frontiers of Combining Systems : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings
Functional and Constraint Logic Programming : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
Functional and Logic Programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Functional and Logic Programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings
Functions and generality of logic : reflections on Dedekind's and Frege's logicisms
Fundamental Approaches to Software Engineering : 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Fuzziness in Information Systems : How to Deal with Crisp and Fuzzy Data in Selection, Classification, and Summarization
Fuzzy Logic : Recent Applications and Developments
Fuzzy Logic and Applications : 12th International Workshop, WILF 2018, Genoa, Italy, September 6-7, 2018, Revised Selected Papers
Fuzzy logic and mathematics : a historical perspective
Fuzzy logic and mathematics : a historical perspective
Games, Norms and Reasons : Logic at the Crossroads
Gentzen's Centenary : The Quest for Consistency
Geometry
Geometry of knowledge for intelligent systems
Giuseppe Peano between mathematics and logic : proceeding of the International conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2-3, 2008
Grand Timely Topics in Software Engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
Graph Transformation : 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25{u2013}26, 2018, Proceedings
Graph Transformation : 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
Graph-Based Representation and Reasoning : 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1-4, 2019, Proceedings
Great Circle of Mysteries : Mathematics, the World, the Mind
Gödel's Theorems and Zermelo's Axioms : A Firm Foundation of Mathematics
Gödel, Tarski and the lure of natural language : logical entanglement, formalism freeness
Handbook of Model Checking
Handbook of Set Theory
Handbook of Software Engineering
Handbook of mathematical induction : theory and applications
Handbook of mathematical logic
Handbook of spatial logics
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Harmonies of Disorder : Norbert Wiener: A Mathematician-Philosopher of Our Time
Health Information Science : 6th International Conference, HIS 2017, Moscow, Russia, October 7-9, 2017, Proceedings
Heyting Algebras : Duality Theory
Higher order logic and hardware verification
How the World Computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
Human Language Technology. Challenges for Computer Science and Linguistics : 7th Language and Technology Conference, LTC 2015, Poznań, Poland, November 27-29, 2015, Revised Selected Papers
Hybrid logic and its proof-theory
Ideals, Varieties, and Algorithms : An Introduction to Computational Algebraic Geometry and Commutative Algebra
Ideals, Varieties, and Algorithms : An Introduction to Computational Algebraic Geometry and Commutative Algebra
Implementation and Application of Automata : 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems : Communications of NII Shonan Meetings
Incompleteness for Higher-Order Arithmetic : An Example Based on Harrington's Principle
Inductive Logic Programming : 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers
Inductive Logic Programming : 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers
Inductive Logic Programming : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers
Inductive Logic Programming : 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3-5, 2019, Proceedings
Inexhaustibility : a non-exhaustive treatment
Infinity and the mind : the science and philosophy of the infinite
Information Processing and Management of Uncertainty in Knowledge-Based Systems : 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part II
Information Processing and Management of Uncertainty in Knowledge-Based Systems : 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part I
Information Processing and Management of Uncertainty in Knowledge-Based Systems : 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020, Proceedings, Part III
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications : 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations : 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations : 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II
Information Search, Integration, and Personalization : 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14-15, 2018, Revised Selected Papers
Information Security : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings
Information Technology in Bio- and Medical Informatics : 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings
Information and Communication Technologies in Education, Research, and Industrial Applications : 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers
Information and Knowledge : A Constructive Type-theoretical Approach
Institution-independent model theory
Integrated Uncertainty in Knowledge Modelling and Decision Making : 7th International Symposium, IUKM 2019, Nara, Japan, March 27-29, 2019, Proceedings
Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26{u2013}29, 2017, Proceedings
Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Interoperability and Open-Source Solutions for the Internet of Things : Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers
Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support : Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings
Interpreting Gödel : critical essays
Introduction to Concurrency Theory : Transition Systems and CCS
Introduction to Discrete Mathematics via Logic and Proof
Introduction to Mathematical Structures and Proofs
Introduction to Mathematica® with Applications
Introduction to Relation Algebras : Relation Algebras, Volume 1
Introduction to mathematical structures and proofs
Intuitionistic Fuzzy Logics
It's All About Coordination : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Johan van Benthem on Logic and Information Dynamics
Justification logic : reasoning with reasons
KI 2015: Advances in Artificial Intelligence : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings
KI 2017: Advances in Artificial Intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25{u2013}29, 2017, Proceedings
KI 2019: Advances in Artificial Intelligence : 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings
Kant's philosophy of mathematics, Volume 1, The critical philosophy and its roots
Knowledge Discovery, Knowledge Engineering and Knowledge Management : 9th International Joint Conference, IC3K 2017, Funchal, Madeira, Portugal, November 1-3, 2017, Revised Selected Papers
Knowledge Engineering and Knowledge Management : EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19{u2013}23, 2016, Revised Selected Papers
Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding : Third China Conference, CCKS 2018, Tianjin, China, August 14-17, 2018, Revised Selected Papers
Knowledge Management in Organizations : 14th International Conference, KMO 2019, Zamora, Spain, July 15-18, 2019, Proceedings
Knowledge in action : logical foundations for specifying and implementing dynamical systems
Kripke's worlds : an introduction to modal logics via Tableaux
Kurt Gödel : essays for his centennial
Language and Automata Theory and Applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings
Language and Automata Theory and Applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
Language and Automata Theory and Applications : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings
Language and Automata Theory and Applications : 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings
Language, Data, and Knowledge : First International Conference, LDK 2017, Galway, Ireland, June 19-20, 2017, Proceedings
Language, Logic, and Computation : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
Learn Java with Math : Using Fun Projects and Games
Lectures on Logic and Computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
Lectures on infinitary model theory
Lesniewski's systems of logic and foundations of mathematics
Lessons in Enumerative Combinatorics
Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III
Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
Linear logic in computer science
Logic : a brief course
Logic Programming and Nonmonotonic Reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
Logic and Integer Programming
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Logic and Its Applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
Logic and algebraic structures in quantum computing
Logic and automata : history and perspectives
Logic and information flow
Logic and philosophy of mathematics in the early Husserl
Logic and structure
Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Logic for computer scientists
Logic functions and equations : binary models for computer science
Logic with trees : an introduction to symbolic logic
Logic without borders : essays on set theory, model theory, philosophical logic, and philosophy of mathematics
Logic, Language, Information, and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
Logic, Language, Information, and Computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Logic, Language, Information, and Computation : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
Logic, Language, and Computation : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers
Logic, Language, and Security : Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Logic, Mathematics, and Computer Science : Modern Foundations with Practical Applications
Logic, Rationality, and Interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings
Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6{u2013}8, 2016, Revised Selected Papers
Logic-Based Program Synthesis and Transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings
Logica : Volume 1 Dimostrazioni e modelli al primo ordine
Logica : Volume 2 - Incompletezza, teoria assiomatica degli insiemi
Logica universalis : towards a general theory of logic
Logica universalis : towards a general theory of logic
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996{u2013}2016) : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings
Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8{u2013}11, 2018, Proceedings
Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings
Logical Foundations of Cyber-Physical Systems
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
Logical Tools for Handling Change in Agent-Based Systems
Logical dynamics of information and interaction
Logical foundations of proof complexity
Logical thinking in the pyramidal schema of concepts : the logical and mathematical elements
Logically determined design : clockless system design with NULL convention logic
Logicism and its philosophical legacy
Logicism renewed : logical foundations for mathematics and computer science
Logics in Artificial Intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings
Logics in Artificial Intelligence : 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings
Logics in Artificial Intelligence : 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings
Logics of specification languages
Logique arithmétique : l'arithmétisation de la logique
Louis Couturat--Traité de logique algorithmique
Machines, Computations, and Universality : 8th International Conference, MCU 2018, Fontainebleau, France, June 28{u2013}30, 2018, Proceedings
Mathematical Aspects of Computer and Information Sciences : 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings
Mathematical Logic
Mathematical Logic
Mathematical Logic : Foundations for Information Science
Mathematical Olympiad Challenges
Mathematical logic
Mathematical logic
Mathematical logic
Mathematical logic : foundations for information science
Mathematical logic and model theory : a brief introduction
Mathematical logic for computer science
Mathematical logic in the 20th century
Mathematical logic with special reference to the natural numbers
Mathematical problems from applied logic I : logics for the XXIst century
Mathematical problems from applied logic II : logics for the XXIst century
Mathematical reasoning : patterns, problems, conjectures, and proofs
Mathematics and its logics : philosophical essays
Mathematics in Computing : An Accessible Guide to Historical, Foundational and Application Contexts
Mathematics of Discrete Structures for Computer Science
Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings
Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering : AMINSE 2017, Tbilisi, Georgia, December 6-9
Mathematics, computer science and logic - a never ending story : the Bruno Buchberger festschrift
Mathematics, models, and modality : selected philosophical essays
Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry
Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
Meinongian logic : the semantics of existence and nonexistence
Mereology and the Sciences : Parts and Wholes in the Contemporary Scientific Context
Metadata and Semantic Research : 12th International Conference, MTSR 2018, Limassol, Cyprus, October 23-26, 2018, Revised Selected Papers
Metadata and Semantic Research : 13th International Conference, MTSR 2019, Rome, Italy, October 28-31, 2019, Revised Selected Papers
Methods of Cut-Elimination
Methods of Solving Number Theory Problems
Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Model Checking Software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings
Model Theory in Algebra, Analysis and Arithmetic : Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori
Model theory and the philosophy of mathematical practice : formalization without foundationalism
Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11{u2013}13, 2017, Proceedings
ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Modeling Companion for Software Practitioners
Modeling Decisions for Artificial Intelligence : 16th International Conference, MDAI 2019, Milan, Italy, September 4-6, 2019, Proceedings
Models of Strategic Reasoning : Logics, Games, and Communities
Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Molecular Logic and Computational Synthetic Biology : First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers
Monotonicity in Logic and Language : Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings
Multi-Agent Systems : 16th European Conference, EUMAS 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
Multi-Agent Systems and Agreement Technologies : 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers
NASA Formal Methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Natural Language Processing and Chinese Computing : 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9-14, 2019, Proceedings, Part I
Natural Language Processing and Chinese Computing : 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9-14, 2019, Proceedings, Part II
New Directions in Paraconsistent Logic : 5th WCP, Kolkata, India, February 2014
New Trends in Databases and Information Systems : ADBIS 2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24{u2013}27, 2017, Proceedings
New Trends in Databases and Information Systems : ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8-11, 2019, Proceedings
Non solo calcoli : Domande e risposte sui perché della matematica
Nonstandard Analysis for the Working Mathematician
Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory
Notes on logic and set theory
Number Theory : An Introduction via the Density of Primes
Numerical Methods of Mathematics Implemented in Fortran
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
OWL: Experiences and Directions {u2013} Reasoner Evaluation : 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers
On Intuitionistic Fuzzy Sets Theory
On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
On the Move to Meaningful Internet Systems. OTM 2017 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II
On the Move to Meaningful Internet Systems: OTM 2019 Conferences : Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21-25, 2019, Proceedings
One Hundred Prisoners and a Light Bulb
Ontologies and Concepts in Mind and Machine : 25th International Conference on Conceptual Structures, ICCS 2020, Bolzano, Italy, September 18-20, 2020, Proceedings
PRIMA 2016: Princiles and Practice of Multi-Agent Systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings
PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 {u2013} November 3, 2017, Proceedings
Papers in philosophical logic
Paradox and paraconsistency : conflict resolution in the abstract sciences
Paradoxes and inconsistent mathematics
Paradoxes in probability theory
Parameterized Complexity in the Polynomial Hierarchy : Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy
Pattern Recognition : 41st DAGM German Conference, DAGM GCPR 2019, Dortmund, Germany, September 10-13, 2019, Proceedings
Pell and Pell{u2013}Lucas Numbers with Applications
Perspectives in computational complexity : the Somenath Biswas anniversary volume
Perspectives of System Informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers

Logic, Symbolic and mathematical Resource Information The concept Logic, Symbolic and mathematical represents the subject, aboutness, idea or notion of resources found in Bates College.

A sample of Items that share the Concept Logic, Symbolic and mathematical See All

Context

Subject of

Logic, Symbolic and mathematical

Resource Information

The concept Logic, Symbolic and mathematical represents the subject, aboutness, idea or notion of resources found in Bates College.