#
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

- 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 computational logic handbook
- A course in mathematical logic
- 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 mathematical introduction to logic
- A precis of mathematical logic;
- A primer of formal logic,
- A profile of mathematical 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 mathematical 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
- 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
- After Gödel : Platonism and rationalism in mathematics and logic
- Against the realisms of the age
- 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–26, 2017, Revised Selected Papers
- Alan Turing : his work and impact
- Alan Turing : his work and impact
- Alfred Tarski : Early Work in Poland—Geometry and Teaching
- Algebra, mathematical logic, number theory, topology
- 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 essay in modal logic
- 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 Wittgenstein's Tractatus
- An introduction to mathematical logic
- An introduction to mathematical logic and type theory : to truth through proof
- 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
- An outline of set theory
- 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.
- Between logic and intuition : essays in honor of Charles Parsons
- 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
- Category Theory and Computer Science : Edinburgh, U.K., September 7–9, 1987 Proceedings
- Category Theory and Computer Science : Manchester, UK, September 5–8, 1989 Proceedings
- Category Theory and Computer Science : Paris, France, September 3–6, 1991 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
- Communication: : a logical model
- Computability and Complexity in Analysis : 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers
- Computability and logic
- Computability and logic
- Computability and logic
- Computability, complexity, 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 Processing of the Portuguese Language : 12th International Conference, PROPOR 2016, Tomar, Portugal, July 13-15, 2016, 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 : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers
- 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)
- Constraints in Computational Logics : Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures
- Constructibility and mathematical existence
- Constructibility and mathematical existence
- Constructive order types.
- 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
- Data Management Technologies and Applications : 6th International Conference, DATA 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers
- 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 : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
- 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
- Descriptive complexity
- 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
- Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings
- Diamond : a paradox logic
- Dictionary of symbols of mathematical 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 logic
- Elementary logic,
- Elementary symbolic logic
- Elements of logic and foundations of mathematics in problems
- Elements of mathematical logic
- Elements of mathematical logic.
- Elements of mathematical logic. : (Model theory)
- Elements of set theory
- Elements of symbolic logic
- Elements of the theory of computation
- 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 memory of Imre Lakatos
- 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
- 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
- Fibring logics
- Finite Dimensional Vector Spaces. (AM-7)
- Finite automata, formal logic, and circuit complexity
- 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
- Formal methods; : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic
- 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 mathematical logic
- 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
- 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 Gödel; : two fundamental texts in mathematical logic
- 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 Frege to Gödel; : a source book in mathematical logic, 1879-1931
- 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
- Fundamentals of symbolic logic
- 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
- Fuzzy logic technology and applications
- 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 Structures for Knowledge Representation and Reasoning : 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers
- 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,
- Grundzüge der theoretischen Logik
- Gödel's incompleteness theorems
- Handbook of Model Checking
- Handbook of Weighted Automata
- Handbook of logic and language
- Handbook of logic in artificial intelligence and logic programming
- Handbook of logic in computer science
- Handbook of mathematical logic
- 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 logic and hardware verification
- Higher order operational techniques in semantics
- Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers
- Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers
- Hilary Putnam on Logic and Mathematics
- How to read and do proofs : an introduction to mathematical thought process
- 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
- Implementation and Application of Automata : 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings
- 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
- 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
- Instantiation Theory : On the Foundations of Automated Deduction
- Institution-independent model theory
- Institution-independent model theory
- 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
- Intensional and higher-order modal logic : with applications to Montague semantics
- 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
- Interpretationen der Modallogik : ein Beitrag zur phänomenologischen Wissenschaftstheorie
- Interpreting Gödel : critical essays
- Introduction to Mathematical Logic
- Introduction to Mathematical Logic (PMS-13)
- Introduction to Mathematica® with Applications
- 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 logic : set theory, computable functions, model theory
- Introduction to mathematical logic,
- Introduction to mathematical logic.
- Introduction to mathematical structures and proofs
- Introduction to mathematical structures and proofs
- Introduction to mathematics of satisfiability
- 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
- Intuitionism; : an introduction
- Intuitionistic Fuzzy Sets : Theory and Applications
- Invariance and structural dependence
- Is God a mathematician?