#
Logic, Symbolic and mathematical
Resource Information
The concept ** Logic, Symbolic and mathematical** represents the subject, aboutness, idea or notion of resources found in **Boston University Libraries**.

The Resource
Logic, Symbolic and mathematical
Resource Information

The concept

**Logic, Symbolic and mathematical**represents the subject, aboutness, idea or notion of resources found in**Boston University Libraries**.- Label
- Logic, Symbolic and mathematical

- Authority link
- http://id.loc.gov/authorities/subjects/sh85078115

## Context

Context of Logic, Symbolic and mathematical#### Subject of

No resources found

No enriched resources found

- 7th International Conference on Automated Deduction : Napa, California, USA May 14–16, 1984 Proceedings
- A Connotational Theory of Program Structure
- 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 Mathematical Prelude to the Philosophy of Mathematics
- A Resolution Principle for a Logic with Restricted Quantifiers
- A course in mathematical logic
- A course in mathematical logic for mathematicians
- A course on mathematical logic
- A deduction model of belief
- A first course in mathematical logic and set theory
- A formalization of set theory without variables
- A framework for priority arguments
- A hierarchy of formulas in set theory
- A logical analysis of the theory of relativity
- A logical introduction to proof
- A mathematical introduction to logic
- A mathematical introduction to logic
- A primer of formal logic,
- A resolution principle for a logic with restricted quantifiers
- A science of operations : machines, logic and the invention of programming
- A structuralist theory of logic
- A survey of symbolic logic
- A system of logistic,
- A theory of formal deducibility
- A theory of heuristic information in game-tree search
- A tour through mathematical logic
- AI*IA 2017 Advances in Artificial Intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings
- Abriss der Logistik : mit besonderer Berücksichtigung der Relationstheorie und ihrer Anwendungen,
- Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
- Abstract sets and finite ordinals : an introduction to the study of set theory
- Adapting Proofs-as-Programs : The Curry-Howard Protocol
- Advanced Topics in Relation Algebras : Relation Algebras, Volume 2
- Advanced logic for applications
- Advances in Conceptual Modeling : ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6–9, 2017, Proceedings
- Advances in Natural Deduction : A Celebration of Dag Prawitz's Work
- Advances in Proof-Theoretic Semantics
- Against the realisms of the age
- Alan Turing : his work and impact
- Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings
- Algebraic logic and predicate functors,
- Algebraic systems
- Algorithmic Aspects of Cloud Computing : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers
- Algorithms in Invariant Theory
- An Introduction to the Technique of Formative Processes in Set Theory
- An Invitation to Abstract Mathematics
- An algebraic characterization of first-order definability
- An examination of logical positivism,
- An introduction to Gödel's Theorems
- An introduction to Gödel's theorems
- An introduction to Wittgenstein's Tractatus
- An introduction to Wittgenstein's Tractatus
- An introduction to Wittgenstein's Tractatus
- An introduction to mathematical logic
- An introduction to mathematical thought
- An introduction to modern logic; : an elementary textbook of symbolic logic
- An introduction to non-classical logic : from if to is
- An introduction to symbolic logic
- An introduction to symbolic logic
- An introduction to symbolic logic
- An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities
- Analogical and Inductive Inference : International Workshop All '89 Reinhardsbrunn Castle, GDR, October 1–6, 1989 Proceedings
- Analysis and logic
- Analysis of Dynamical and Cognitive Systems : Advanced Course Stockholm, Sweden, August 9–14, 1993 Proceedings
- Analytical syllogistics; : a pragmatic interpretation of the Aristotelian logic,
- Analytische Erkenntnistheorie; : kritische Übersicht über die neueste Entwicklung in USA und England
- Andrzej Mostowski and foundational studies
- Appalachian set theory : 2006-2012
- 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 Life and Evolutionary Computation : 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers
- Attribute Grammars, Applications and Systems : International Summer School SAGA Prague, Czechoslovakia, June 4–13, 1991 Proceedings
- Automata, logics, and infinite games : a guide to current research
- Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings
- Automated Deduction in Equational Logic and Cubic Curves
- Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
- Automated Deduction — CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings
- Automated Deduction — Cade-13 : 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings
- Automated Deduction—CADE-11 : 11th International Conference on Automated Deduction Saratoga Springs, NY, USA, June 15–18, 1992 Proceedings
- Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings
- Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings
- Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
- Automated deduction in classical and non-classical logics : selected papers
- Autonomy Platonism and the indispensability argument
- Axiom of Choice
- Axiomatic Method and Category Theory
- Axiomatisierung der Fregeschen Aussagenkalküle
- Banach Spaces and Descriptive Set Theory: Selected Topics
- Basic Real Analysis
- Basic laws of arithmetic : derived using concept-script, Volumes I & II
- Bedeutung und Notwendigkeit; : eine Studie zur Semantik und modalen Logik.
- Beginning Julia Programming : For Engineers and Scientists
- Begriffsschrift und andere Aufsätze
- Begriffsschrift und andere Aufsätze
- Beiträge zur Philosophie der Logik und Mathematik.
- Beyond sets : a venture in collection-theoretic revisionism
- Cardinal Invariants on Boolean Algebras : Second Revised Edition
- Categories and types in logic, language, and physics : essays dedicated to Jim Lambek on the occasion of his 90th birthday
- Category Theory and Computer Science : 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings
- Category Theory and Computer Science : 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997 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
- Challenges for Action Theories
- Change, choice and inference : a study of belief revision and nonmonotonic reasoning
- Chinese Lexical Semantics : 18th Workshop, CLSW 2017, Leshan, China, May 18–20, 2017, Revised Selected Papers
- Classical mathematical logic : the semantic foundations of logic
- Classical mathematical logic : the semantic foundations of logic
- Coding the universe
- Cognitive reasoning : a formal approach
- Cogwheels of the mind : the story of Venn diagrams
- Collected logical works
- Collected works
- Collected works
- Combinatorial Algebra: Syntax and Semantics
- Combinatorial Algorithms : 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings
- Combinatorial Set Theory : With a Gentle Introduction to Forcing
- Combinatorics on Words : 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings
- Computability and Complexity in Analysis : 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers
- Computability and logic
- Computation as logic
- Computational Artifacts : Towards a Philosophy of Computer Science
- Computational Complexity of Solving Equation Systems
- Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings
- Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings
- Computational Methods in Systems Biology : 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings
- Computational aspects of an order-sorted logic with term declarations
- 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 : 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings
- Computer Aided Verification : 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings
- Computer Aided Verification : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings
- Computer Science Logic : 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers
- Computer Science Logic : 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings
- Computer Science Logic : 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings
- Computer Science Logic : 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings
- Computer Science Logic : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings
- Computer Science Logic : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings
- Computer Science Logic : 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings
- Computer Science Logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings
- Computer Science Logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
- Computer Science Logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings
- Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
- Computer Science Logic : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
- Computer Science Logic : 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
- Computer Science Logic : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
- Computer Science – Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
- Computer-Aided Verification : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings
- Computing and Combinatorics : 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
- Con argumento lógico : notas de matemáticas aplicadas
- Concepto y elaboración de un diccionario analitico-categorial.
- Concepts of proof in mathematics, philosophy, and computer science
- Conceptual Modeling : 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings
- Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications
- Conditional Term Rewriting Systems : Third International Workshop, CTRS-92 Point-à-Mousson, France, July 8–10 1992 Proceedings
- Consistency of the Continuum Hypothesis. (AM-3)
- Constructibility and mathematical existence
- Constructibility and mathematical existence
- Constructivity and Computability in Historical and Philosophical Perspective
- Constructivity in Computer Science : Summer Symposium San Antonio, TX, June 19–22, 1991 Proceeding
- Contradictions, from Consistency to Inconsistency
- Cylindric-like Algebras and Algebraic Logic
- Dag Prawitz on Proofs and Meaning
- 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 Non-Classical Problems
- Decision procedures : an algorithmic point of view
- Deducibility and decidability
- Deducibility and decidability
- Deep Learning with Python : A Hands-on Introduction
- Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
- Derivation and counterexample; : an introduction to philosophical logic
- Descartes's Rules for the direction of the mind
- 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
- Descriptor Revision : Belief Change through Direct Choice
- Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude
- Developments in Language Theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
- Diamond : a paradox logic
- Die Logik der Logistik
- Die gegenwärtige Lage in der mathematischen Grundlagenforschung : neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie
- Digital Libraries: Data, Information, and Knowledge for Digital Lives : 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings
- Direct and converse theorems : the elements of symbolic logic
- Directed Algebraic Topology and Concurrency
- Discovering patterns in mathematics and poetry
- Discovering patterns in mathematics and poetry
- Discrete structures, logic, and computability
- Distilling ideas : an introduction to mathematical thinking
- Distributed Artificial Intelligence Architecture and Modelling : First Australian Workshop on DAI Canberra, ACT, Australia, November 13, 1995 Proceedings
- Distributive normal forms in the calculus of predicates
- 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
- Ein System der typenfreien Logik
- Eine Grundlegung der Mengentheorie
- Eine Termlogik mit Auswahloperator
- Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendungen.
- El pensamiento lógico-matemático : elementos de heurística y apodíctica demostrativa
- Elementary logic
- Elementary logic
- Elementary logic
- Elementary symbolic logic
- Elements of logic and foundations of mathematics in problems
- Elements of mathematical logic
- Elements of set theory
- Elements of symbolic logic
- Elements of the theory of computation
- Elucidating the Tractatus : Wittgenstein's early philosophy of logic and language
- Encyclopedia and unified science [by] Otto Neurath, Niels Bohr, John Dewey ... [et al.]
- Engineering Multi-Agent Systems : 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers
- Equational logic as a programming language
- Ernst Zermelo - Collected Works/Gesammelte Werke II : Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
- Ernst Zermelo : An Approach to His Life and Work
- Essai sur les conditions et les limites de la certitude logique,
- Essays in the philosophy and history of logic and mathematics
- Essays in the philosophy and history of logic and mathematics
- Essays on Frege,
- Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
- Essays on Wittgenstein's Tractatus
- Euclid in the rainforest : discovering universal truth in logic and math
- Euphony and logos : essays in honour of Maria Steffen-Batóg and Tadeusz Batóg
- Excursions in the History of Mathematics
- Executable Modal and Temporal Logics : IJCAI '93 Workshop Chambery, France, August 28, 1993 Proceedings
- Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics
- Extending the frontiers of mathematics : inquiries into proof and argumentation
- Facets of Uncertainties and Applications : ICFUA, Kolkata, India, December 2013
- Fading Foundations : Probability and the Regress Problem
- Fading Foundations : Probability and the Regress Problem
- Feferman on Foundations : Logic, Mathematics, Philosophy
- Finite Dimensional Vector Spaces. (AM-7)
- First course in mathematical logic
- First-order logic and automated theorem proving
- Fixing Frege
- Folk algebras in algebra : logic and computer science
- Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, 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 Languages and Applications
- 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 Nonmonotonic and Related Logics : Vol I: Preference and Size
- Formal Methods for Nonmonotonic and Related Logics : Vol II: Theory Revision, Inheritance, and Various Abstract Properties
- Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings
- Formal Modeling and Analysis of Timed Systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
- Formal Theories of Information : From Shannon to Semantic Information Theory and General Concepts of Information
- Formal concept analysis : foundations and applications
- Formal logic;
- Formal methods in artificial intelligence
- Formalism and beyond : on the nature of mathematical discourse
- Formalization of logic
- Foundational studies : selected works
- Foundations and methods from mathematics to neuroscience : essays inspired by Patrick Suppes
- Foundations of Information and Knowledge Systems : 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings
- Foundations of Information and Knowledge Systems : 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings
- Foundations of inductive reasoning
- Foundations of logic and mathematics
- Foundations of logic, 1903-05
- Foundations of mathematics. : Symposium papers commemorating the sixtieth birthday of Kurt Gödel.
- Foundations of the logical theory of scientific knowledge (complex logic).
- 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 : making sense
- Frege and other philosophers
- Frege and other philosophers
- Frege and other philosophers
- Frege's logic
- Frege's logic
- Frege's notations : what they are and how they mean
- Frege's philosophy of mathematics
- Frege, Philosophy of mathematics
- From Boolean Logic to Switching Circuits and Automata : Towards Modern Information Technology
- From Logic to Practice : Italian Studies in the Philosophy of Mathematics
- From Objects to Diagrams for Ranges of Functors
- From mathematics to philosophy
- From natural language processing to logic for expert systems : a logic based approach to artificial intelligence
- 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
- Fundamentals of Artificial Intelligence Research : International Workshop FAIR '91 Smolenice, Czechoslovakia, September 8–13, 1991 Proceedings
- Funktion, Begriff, Bedeutung; : fünf logische Studien.
- Fuzzy Lie Algebras
- Fuzzy Logic : A Framework for the New Millennium
- Fuzzy Logic in Artificial Intelligence : 8th Austrian Artificial Intelligence Conference, FLAI '93 Linz, Austria, June 28–30, 1993 Proceedings
- Fuzzy logic and mathematics : a historical perspective
- Games, actions and social software : multidisciplinary aspects
- Games, puzzles, and computation
- Generalized Quantifiers and Computation : 9th European Summer School in Logic, Language, and Information ESSLLI’97Workshop Aix-en-Provence, France, August 11–22, 1997 Revised Lectures
- Geometric calculus : according to the Ausdehnungslehre of H. Grassmann
- Gottlob Freges Briefwechsel mit D. Hilbert, E. Husserl, B. Russell, sowie ausgewählte Einzelbriefe Freges
- Grand Timely Topics in Software Engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
- Graph Grammars and Their Application to Computer Science : 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers
- Graph Reduction : Proceedings of a Workshop Santa Fé, New Mexico, USA September 29–October 1, 1986
- 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
- Great Circle of Mysteries : Mathematics, the World, the Mind
- Grundlagen der Mathematik.
- Grundzüge der mathematischen Logik,
- Handbook of Model Checking
- Handbook of Weighted Automata
- Handbook of logic in computer science
- Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, 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
- Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings
- Higher order operational techniques in semantics
- Hilary Putnam on Logic and Mathematics
- 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
- Hyperedge Replacement: Grammars and Languages
- Ideal Spaces
- Ideals, Varieties, and Algorithms : An Introduction to Computational Algebraic Geometry and Commutative Algebra
- In the light of logic
- 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 : 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
- Inductive probability
- 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. 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 Technology in Bio- and Medical Informatics : 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings
- Initiation a la logique
- Instantiation Theory : On the Foundations of Automated Deduction
- Institution-independent model theory
- Institution-independent model theory
- Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
- Intensional logic : theory and applications
- Intensional logic and the metaphysics of intentionality
- 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
- Intermediate logic
- 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
- Interpreting Gödel : critical essays
- Introduction to Mathematical Logic
- Introduction to Mathematical Logic (PMS-13)
- Introduction to Octave : For Engineers and Scientists
- Introduction to Relation Algebras : Relation Algebras, Volume 1
- Introduction to Scilab : For Engineers and Scientists
- Introduction to mathematical logic
- Introduction to mathematical logic
- Introduction to mathematical logic,
- Introduction to mathematical structures and proofs
- Introduction to mathematical structures and proofs
- Introduction to semantics
- Introduction to semantics, : and Formalization of logic
- Introduction to symbolic logic
- Introduction to symbolic logic and its applications
- Introduction to symbolic logic,
- Introduction to the basic concepts and problems of modern logic
- Introduction to the foundations of mathematics
- Introductory formal logic of mathematics
- Intuitionistic Fuzzy Sets : Theory and Applications
- Is God a mathematician?
- Isabelle : A Generic Theorem Prover
- It's All About Coordination : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
- Janus-Faced Probability
- Johan van Benthem on Logic and Information Dynamics
- KI 2016: Advances in Artificial Intelligence : 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings
- KI 2017: Advances in Artificial Intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25–29, 2017, Proceedings
- Knowledge Engineering and Knowledge Management : EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19–23, 2016, Revised Selected Papers
- Knowledge Engineering and Semantic Web : 8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017, Proceedings
- Knowledge in action : logical foundations for specifying and implementing dynamical systems
- Knowledge in action : logical foundations for specifying and implementing dynamical systems
- Kripke’s Worlds : An Introduction to Modal Logics via Tableaux
- L'Épistémologie de l'espace,
- L.E.J. Brouwer – Topologist, Intuitionist, Philosopher : How Mathematics Is Rooted in Life
- La argumentación : ¿construcción cultural o desarrollo cognitivo?
- La structure algébrique des théories mathématiques
- 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 in action : categories, lambdas, and dynamic logic
- Language, truth, and logic in mathematics
- Languages: From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
- Laws of form
- Le rationnel, : études complémentaires à l'Essai sur la certitude logique,
- Lecture notes in logic
- Lectures on infinitary model theory
- Lectures on non-standard analysis.
- Les fondements logiques des mathématiques
- Levels of abstraction in logic and human action : a theory of discontinuity in the structure of mathematical logic, psychological behaviour, and social organization
- Lewis Carroll's Symbolic logic : part I, Elementary, 1896, fifth edition, part II, Advanced, never previously published : together with letters from Lewis Carroll to eminent nineteenth-century logicians and to his "logical sister," and eight versions of the Barber-shop paradox
- Lewis Carroll's symbolic logic
- Leśniewski's Systems of Logic and Foundations of Mathematics
- Linear logic in computer science
- Lingua universalis vs. calculus ratiocinator : an ultimate presupposition of twentieth-century philosophy
- Loeb Measures in Practice: Recent Advances
- Logic
- Logic : a brief course
- Logic Functions and Equations : Binary Models for Computer Science
- Logic Programming : First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11–16, 1991 Proceedings
- Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings
- Logic Programming and Automated Reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings
- Logic Programming and Automated Reasoning : International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings
- Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
- Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings
- Logic and Computational Complexity : International Workshop LCC'94 Indianapolis, IN, USA, October 13–16, 1994 Selected Papers
- Logic and Machines: Decision Problems and Complexity : Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen
- Logic and Structure
- Logic and algorithms, : with applications to the computer and information sciences
- Logic and automata : history and perspectives
- Logic and automata : history and perspectives
- Logic and automata : history and perspectives
- Logic and foundations of mathematics
- Logic and foundations of mathematics.
- Logic and foundations of science.
- Logic and games on automatic structures : playing with quantifiers and decompositions
- Logic and information flow
- Logic and knowledge : essays, 1901-1950
- Logic and structured design for computer programmers
- Logic and the foundations of game and decision theory (LOFT 7)
- Logic and the foundations of game and decision theory (LOFT 7)
- Logic at Botik '89 : Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings
- Logic for problem solving
- Logic functions and equations : binary models for computer science
- Logic of domains
- Logic of mathematics : a modern course of classical logic
- Logic programming, functions, relations, and equations
- Logic with trees : an introduction to symbolic logic
- Logic without borders
- Logic without borders : essays on set theory, model theory, philosophical logic, and philosophy of mathematics
- Logic's lost genius : the life of Gerhard Gentzen
- Logic, Language and Computation : Festschrift in Honor of Satoru Takasu
- Logic, Language, Information, and Computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, 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, Rationality, and Interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
- Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
- Logic, language, and computation
- Logic, probability and science
- Logic, semantics, metamathematics : papers from 1923 to 1938
- Logic, semantics, metamathematics; : papers from 1923 to 1938.
- Logic, sets, and recursion
- Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–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; : techniques of formal reasoning
- Logica : Volume 1 Dimostrazioni e modelli al primo ordine
- Logical Foundations of Computer Science : 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6–12, 1997 Proceedings
- Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
- Logical Foundations of Computer Science : Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings
- Logical Foundations of Computer Science — Tver '92 : Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings
- Logical Foundations of Cyber-Physical Systems
- Logical Foundations of Mathematics and Computational Complexity : A Gentle Introduction
- Logical Structures for Representation of Knowledge and Uncertainty
- Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
- Logical and logico-mathematical calculi. 2.
- Logical dynamics of information and interaction
- Logical foundations of mathematics for behavioral scientists : [by] Abraham S. Luchins [and] Edith H. Luchins
- Logical foundations of proof complexity
- Logical papers;
- Logical tools for handling change in agent-based systems
- Logical writings;
- Logically determined design : clockless system design with NULL convention logic
- Logics for Computer Science : Classical and Non-Classical
- Logics for Concurrency : Structure versus Automata
- Logics in AI : European Workshop JELIA '90 Amsterdam, The Netherlands, September 10–14, 1990 Proceedings
- Logics in AI : European Workshop JELIA'92 Berlin, Germany, September 7–10, 1992 Proceedings
- Logics in Artificial Intelligence : European Workshop, JELIA’ 98 Dagstuhl, Germany, October 12–15, 1998 Proceedings
- Logics of programs with boolean memory
- Logics of specification languages
- Logics without existence assumptions
- Logik-Texte; : kommentierte Auswahl zur Geschichte der modernen Logik
- Logik; : ihr System und ihr Verhältnis zur Logistik
- Logisch-philosophische Abhandlung : Tractatus logico-philosophicus
- Logische Untersuchungen
- Lógica matemática
- Lógica para informáticos
- Lógica y pensamiento formal
- MATLAB Deep Learning : With Machine Learning, Neural Networks and Artificial Intelligence
- Machines, Computations, and Universality : 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
- Many-valued logic as a basis for set theory
- Matematicheskiĭ intuit︠s︡ionizm : Vved. v teorii︠u︡ dokazatelʹstv
- Matemática fundamental para matemáticos
- Matemática fundamental para matemáticos
- Mathematical Aspects of Computer and Information Sciences : 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings
- Mathematical Foundations of Computer Science 1984 : Proceedings, 11th Symposium Praha, Czechoslovakia September 3–7, 1984
- Mathematical Foundations of Computer Science 1999 : 24th International Symposium, MFCS’99 Szklarska Poręba, Poland, September 6–10,1999 Proceedings
- Mathematical Foundations of Programming Semantics : 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings
- Mathematical Foundations of Programming Semantics : 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings
- Mathematical Logic : Foundations for Information Science