#
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
- (uri) http://id.loc.gov/authorities/subjects/sh85078115

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

## 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 Beginner's Guide to Discrete Mathematics
- A Beginner's Guide to Finite Mathematics : For Business, Management, and the Social Sciences
- A Concise Introduction to Languages and Machines
- 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 General Framework for Reasoning On Inconsistency
- A History of Folding in Mathematics : Mathematizing the Margins
- A Logical Introduction to Proof
- A Mathematical Prelude to the Philosophy of Mathematics
- A Model-Theoretic Approach to Proof Theory
- A Proof Theory for Description Logics
- A Resolution Principle for a Logic with Restricted Quantifiers
- A Theory of Distributed Objects : Asynchrony - Mobility - Groups - Components
- 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 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 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
- ABZ 2014: The Landing Gear Case Study : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
- AI 2015: Advances in Artificial Intelligence : 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 -- December 4, 2015, Proceedings
- AI Approaches to the Complexity of Legal Systems : AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers
- AI*IA 2013: Advances in Artificial Intelligence : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013, Proceedings
- 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 2017 Advances in Artificial Intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings
- AI*IA 2018 - Advances in Artificial Intelligence : XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20-23, 2018, 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 : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
- 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
- Abstraction, Refinement and Proof for Probabilistic Systems
- 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 logic for applications
- Advances in Computational Intelligence : 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II
- Advances in Computational Intelligence, Part I : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part I
- Advances in Computational Intelligence, Part II : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part II
- Advances in Computational Intelligence, Part III : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part III
- Advances in Computational Intelligence, Part IV : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part IV
- Advances in Conceptual Modeling : ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings
- 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 Knowledge Representation, Logic Programming, and Abstract Argumentation : Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
- Advances in Natural Deduction : A Celebration of Dag Prawitz's Work
- Advances in Natural Language Processing : 8th International Conference on NLP, JapTAL 2012, Kanazawa, Japan, October 22-24, 2012, Proceedings
- Advances in Natural Language Processing : 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedings
- Advances in Neural Networks - ISNN 2012 : 9th International Symposium on Neural Networks, ISNN 2012, Shenyang, China, July 11-14, 2012. Proceedings, Part I
- Advances in Proof-Theoretic Semantics
- Advances in Soft Computing : 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I
- 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
- 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
- Alfred Tarski : Early Work in Poland-Geometry and Teaching
- Algebra, mathematical logic, number theory, topology
- Algebraic Informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
- Algebraic Informatics : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings
- Algebraic Methods in General Rough Sets
- Algebraic and Algorithmic Aspects of Differential and Integral Operators : 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers
- Algebraic and Numeric Biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers
- 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
- Algorithmic Learning Theory : 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012, Proceedings
- Algorithmic Learning Theory : 24th International Conference, ALT 2013, Singapore, October 6-9, 2013, Proceedings
- Algorithms - ESA 2015 : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
- 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 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
- Analysis and logic
- 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
- Apartness and Uniformity : A Constructive Development
- Appalachian set theory : 2006-2012
- Application and Theory of Petri Nets and Concurrency : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
- Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings
- Applications of Graph Transformations with Industrial Relevance : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers
- Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs
- Argumentation in Artificial Intelligence
- Argumentation in Multi-Agent Systems : 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 2011, Revised Selected Papers
- 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 General Intelligence : 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings
- Artificial General Intelligence : 6th International Conference, AGI 2013, Beijing, China, July 31 -- August 3, 2013, Proceedings
- Artificial General Intelligence : 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014, Proceedings
- Artificial General Intelligence : 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
- Artificial Intelligence : 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, 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 and Symbolic Computation : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings
- Artificial Intelligence and Symbolic Computation : 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, 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
- 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 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
- Automated Deduction - CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings
- Automated Deduction -- CADE-24 : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings
- Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
- Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
- 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 : 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 : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
- Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, 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 : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings
- Automated Reasoning and Mathematics : Essays in Memory of William W. McCune
- Automated Reasoning with Analytic Tableaux and Related Methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, 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-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 : 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
- Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, 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
- 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
- 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
- Beginning MATLAB and Simulink : From Novice to Professional
- Begriffsschrift und andere Aufsätze
- Begriffsschrift und andere Aufsätze
- Belief Revision in Non-Classical Logics
- 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
- Big Data Analytics : 6th International Conference, BDA 2018, Warangal, India, December 18-21, 2018, 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
- Business Process Management : 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings
- CONCUR 2012- Concurrency Theory : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings
- CONCUR 2014 - Concurrency Theory : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
- Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness
- Cardinal Invariants on Boolean Algebras : Second Revised Edition
- Case-Based Reasoning Research and Development : 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings
- Categories and Types in Logic, Language, and Physics : Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday
- 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
- Cellular Automata and Discrete Complex Systems : 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-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
- Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
- Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, 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
- Chinese Lexical Semantics : 20th Workshop, CLSW 2019, Beijing, China, June 28-30, 2019, Revised Selected Papers
- Classical mathematical logic : the semantic foundations of logic
- Coalgebraic Methods in Computer Science : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
- Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
- Coalgebraic Methods in Computer Science : 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, 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
- Cogwheels of the mind : the story of Venn diagrams
- Collected logical works
- Collected works
- Collected works
- Combinatorial Algebra: Syntax and Semantics
- Combinatorial Algorithms : 23rd International Workshop, IWOCA 2012, Krishnankoil, India, July 19-21, 2012, Revised Selected Papers
- Combinatorial Algorithms : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013. Revised Selected Papers
- Combinatorial Algorithms : 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, 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 : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings
- 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
- Combinatorics on Words : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20, 2013, Proceedings
- Communication: : a logical model
- Compiler Construction : 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings
- Complexity Theory : Exploring the Limits of Efficient Algorithms
- Comprehensive Mathematics for Computer Scientists 1 : Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry
- Comprehensive Mathematics for Computer Scientists 2 : Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus
- Computability and logic
- Computability and logic
- Computability and logic
- Computability, complexity, logic
- Computable Models
- Computation as logic
- Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky : Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday
- Computation, Physics and Beyond : International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers
- Computational Analysis of Terrorist Groups: Lashkar-e-Taiba
- 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 Issues in Fluid Construction Grammar
- Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings
- Computational Logic and Set Theory : Applying Formalized Logic to Analysis
- Computational Logic in Multi-Agent Systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings
- Computational Logic in Multi-Agent Systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings
- Computational Logic in Multi-Agent Systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings
- Computational Methods in Systems Biology : 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings
- Computational Methods in Systems Biology : 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings
- Computational Processing of the Portuguese Language : 10th International Conference, PROPOR 2012, Coimbra, Portugal, April 17-20, 2012, Proceedings
- Computational Processing of the Portuguese Language : 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings
- Computational Processing of the Portuguese Language : 12th International Conference, PROPOR 2016, Tomar, Portugal, July 13-15, 2016, Proceedings
- Computational Processing of the Portuguese Language : 13th International Conference, PROPOR 2018, Canela, Brazil, September 24-26, 2018, Proceedings
- Computational aspects of an order-sorted logic with term declarations
- Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
- Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
- Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
- Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, 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 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 Science - Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
- Computer Science - Theory and Applications : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings
- Computer Science - Theory and Applications : 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
- Computer Science -- Theory and Applications : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
- Computer Science -- Theory and Applications : 7th International Computer Science Symposium in Russia, CSR 2012, Niszhny Novgorod, Russia, July 3-7, 2012, Proceedings
- Computer Science : The Hardware, Software and Heart of It
- 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 : 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 : 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 : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers
- Computers and Games : 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers
- 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
- Computing with New Resources : Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday
- Computing with Words : Principal Concepts and Ideas
- Con argumento lógico : notas de matemáticas aplicadas
- Concepts of proof in mathematics, philosophy, and computer science
- Conceptual Modeling : 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings
- Conceptual Modeling : 37th International Conference, ER 2018, Xi'an, China, October 22-25, 2018, Proceedings
- Conceptual Modelling and Its Theoretical Foundations : Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday
- Concise Computer Mathematics : Tutorials on Theory and Problems
- Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications
- Concrete Semantics : With Isabelle/HOL
- Conditional Term Rewriting Systems : Third International Workshop, CTRS-92 Point-à-Mousson, France, July 8–10 1992 Proceedings
- Conditionals and Modularity in General Logics
- Constraint Solving and Language Processing : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
- Constraints Meet Concurrency
- 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
- Constructing Correct Software
- 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
- Controlled Natural Language : 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014, Proceedings
- Controlled Natural Language : Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers
- Controlled Natural Language : Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012, Proceedings
- Coordination of Large-Scale Multiagent Systems
- Correct Reasoning : Essays on Logic-Based AI in Honour of Vladimir Lifschitz
- 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-20, 2017, Proceedings
- Current Trends in Web Engineering : ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers
- Cyberpatterns : Unifying Design Patterns with Security and Attack Patterns
- Cylindric-like Algebras and Algebraic Logic
- 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 Analytics and Management in Data Intensive Domains : XIX International Conference, DAMDID/RCDL 2017, Moscow, Russia, October 10-13, 2017, Revised Selected Papers
- Data Engineering and Management : Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. 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-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
- Database and Expert Systems Applications : 29th International Conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, Proceedings, Part II
- Datalog in Academia and Industry : Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012, Proceedings
- David Makinson on Classical Methods for Non-Classical Problems
- Decision Procedures : An Algorithmic Point of View
- Decision procedures : an algorithmic point of view
- 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
- Deducibility and decidability
- Deep Learning with Python : A Hands-on Introduction
- Deontic Logic and Normative Systems : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
- Deontic Logic in Computer Science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings
- 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 : 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
- Derivation and counterexample; : an introduction to philosophical logic
- Descartes's Rules for the direction of the mind
- 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 : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings
- Descriptional Complexity of Formal Systems : 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings
- Descriptional Complexity of Formal Systems : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
- Descriptional Complexity of Formal Systems : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
- 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
- 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 : 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings
- Developments in Language Theory : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013, Proceedings
- Developments in Language Theory : 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
- Developments in Language Theory : 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
- Developments in Language Theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
- Developments in Language Theory : 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, 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 : 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 for Open Knowledge : 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10-13, 2018, Proceedings
- 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
- ECOOP 2013 -- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings
- ECOOP 2014 -- Object-Oriented Programming : 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings
- Effective mathematics of the uncountable
- 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.
- Elementary logic
- Elementary logic