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

The Resource
Mathematical Logic and Foundations
Resource Information

The concept

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

## Context

Context of Mathematical Logic and Foundations#### 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 New Perspective on Nonmonotonic Logics
- A Resolution Principle for a Logic with Restricted Quantifiers
- A beginner's guide to discrete mathematics
- A beginner's guide to finite mathematics : for business, management, and the social sciences
- Adapting Proofs-as-Programs : The Curry-Howard Protocol
- Advanced Topics in Relation Algebras : Relation Algebras, Volume 2
- Advances in Natural Deduction : A Celebration of Dag Prawitz's Work
- Advances in Proof Theory
- Advances in Proof-Theoretic Semantics
- Alfred Tarski : Early Work in Poland—Geometry and Teaching
- Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings
- Algorithms in Invariant Theory
- An Introduction to the Technique of Formative Processes in Set Theory
- An Invitation to Abstract Mathematics
- Analogical and Inductive Inference : International Workshop All '89 Reinhardsbrunn Castle, GDR, October 1–6, 1989 Proceedings
- Analysis of Dynamical and Cognitive Systems : Advanced Course Stockholm, Sweden, August 9–14, 1993 Proceedings
- Artificial Adaptive Systems Using Auto Contractive Maps : Theory, Applications and Extensions
- Attribute Grammars, Applications and Systems : International Summer School SAGA Prague, Czechoslovakia, June 4–13, 1991 Proceedings
- 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-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
- Axiom of Choice
- Axiomatic Method and Category Theory
- Banach Spaces and Descriptive Set Theory: Selected Topics
- Basic Real Analysis
- Cardinal Invariants on Boolean Algebras : Second Revised Edition
- 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
- Challenges for Action Theories
- Combinatorial Algebra: Syntax and Semantics
- Combinatorial Set Theory : With a Gentle Introduction to Forcing
- Computability and Complexity in Analysis : 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers
- 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
- 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-Aided Verification : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings
- Conditional Term Rewriting Systems : Third International Workshop, CTRS-92 Point-à-Mousson, France, July 8–10 1992 Proceedings
- Constraints in Computational Logics : Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures
- Constructive Commutative Algebra : Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases
- Constructivity and Computability in Historical and Philosophical Perspective
- Constructivity in Computer Science : Summer Symposium San Antonio, TX, June 19–22, 1991 Proceeding
- Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
- Cultures of Mathematics and Logic : Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012
- Cylindric-like Algebras and Algebraic Logic
- Dag Prawitz on Proofs and Meaning
- David Makinson on Classical Methods for Non-Classical Problems
- Dependence Logic : Theory and Applications
- Descriptor Revision : Belief Change through Direct Choice
- Distributed Artificial Intelligence Architecture and Modelling : First Australian Workshop on DAI Canberra, ACT, Australia, November 13, 1995 Proceedings
- Duality Theories for Boolean Algebras with Operators
- 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
- Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
- 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
- Facets of Uncertainties and Applications : ICFUA, Kolkata, India, December 2013
- Fading Foundations : Probability and the Regress Problem
- Feferman on Foundations : Logic, Mathematics, Philosophy
- Finitely Supported Mathematics : An Introduction
- Formal Languages and Applications
- Formal Theories of Information : From Shannon to Semantic Information Theory and General Concepts of Information
- Foundations of algebraic specification and formal software development
- Freedom and Enforcement in Action : A Study in Formal Action Theory
- 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
- Fundamentals of Artificial Intelligence Research : International Workshop FAIR '91 Smolenice, Czechoslovakia, September 8–13, 1991 Proceedings
- 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
- 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
- Gentzen's Centenary : The Quest for Consistency
- 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
- Great Circle of Mysteries : Mathematics, the World, the Mind
- Handbook of Model Checking
- Handbook of Weighted Automata
- Harmonies of Disorder : Norbert Wiener: A Mathematician-Philosopher of Our Time
- Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings
- 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
- Hyperedge Replacement: Grammars and Languages
- Ideal Spaces
- Ideals, Varieties, and Algorithms : An Introduction to Computational Algebraic Geometry and Commutative Algebra
- Instantiation Theory : On the Foundations of Automated Deduction
- Introduction to Concurrency Theory : Transition Systems and CCS
- Introduction to Relation Algebras : Relation Algebras, Volume 1
- Intuitionistic Fuzzy Logics
- Intuitionistic Fuzzy Sets : Theory and Applications
- Isabelle : A Generic Theorem Prover
- Janus-Faced Probability
- Johan van Benthem on Logic and Information Dynamics
- Kripke’s Worlds : An Introduction to Modal Logics via Tableaux
- L.E.J. Brouwer – Topologist, Intuitionist, Philosopher : How Mathematics Is Rooted in Life
- Languages: From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
- Leśniewski's Systems of Logic and Foundations of Mathematics
- Loeb Measures in Practice: Recent Advances
- 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 : 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 at Botik '89 : Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings
- Logic, Language and Computation : Festschrift in Honor of Satoru Takasu
- Logic, Mathematics, and Computer Science : Modern Foundations with Practical Applications
- Logic, Rationality, and Interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
- Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
- Logic, Rationality, and Interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
- 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 2007, New York, NY, USA, June 4-7, 2007. 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 Studies of Paraconsistent Reasoning in Science and Mathematics
- Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
- 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
- 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
- Mathematical Models for the Semantics of Parallelism : Advanced School Rome, Italy, September 24 – October 1, 1986 Proceedings
- Mathematics of Fuzzy Sets and Fuzzy Logic
- Mathematics, Computer Science and Logic - A Never Ending Story : The Bruno Buchberger Festschrift
- Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
- Mereology and the Sciences : Parts and Wholes in the Contemporary Scientific Context
- Meta-Programming in Logic : Third International Workshop, META-92 Uppsala, Sweden, June 10–12, 1992 Proceedings
- Methods of Solving Number Theory Problems
- Model Theory and Algebraic Geometry : An introduction to E. Hrushovski’s proof of the geometric Mordell-Lang conjecture
- Model Theory in Algebra, Analysis and Arithmetic : Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori
- Modern Logic 1850-1950, East and West
- Natural Language and Logic : International Scientific Symposium Hamburg, FRG, May 9–11, 1989 Proceedings
- New Computational Paradigms : Changing Conceptions of What is Computable
- New Developments in Formal Languages and Applications
- New Directions in Paraconsistent Logic : 5th WCP, Kolkata, India, February 2014
- Non-commutative Multiple-Valued Logic Algebras
- Nonclassical Logics and Information Processing : International Workshop Berlin, Germany, November 9–10, 1990 Proceedings
- Nonmonotonic and Inductive Logic : 1st International Workshop Karlsruhe, Germany, December 4–7, 1990 Proceedings
- Nonmonotonic and Inductive Logic : Second International Workshop Reinhardsbrunn Castle, Germany December 2–6, 1991 Proceedings
- Nonstandard Analysis for the Working Mathematician
- Number Theory : An Introduction via the Density of Primes
- On Fuzziness : A Homage to Lotfi A. Zadeh – Volume 2
- On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
- On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
- One Hundred Prisoners and a Light Bulb
- Ordered Sets : An Introduction with Connections from Combinatorics to Topology
- Pell and Pell–Lucas Numbers with Applications
- Perspectives in Computational Complexity : The Somenath Biswas Anniversary Volume
- Petr Hájek on Mathematical Fuzzy Logic
- Petri Net Synthesis
- Pluralism in Mathematics: A New Position in Philosophy of Mathematics
- Practical Reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96 Bonn, Germany, June 3–7, 1996 Proceedings
- Probability Logics : Probability-Based Formalization of Uncertain Reasoning
- Problems and Proofs in Numbers and Algebra
- Process Algebras for Petri Nets : The Alphabetization of Distributed Systems
- Processes, Terms and Cycles: Steps on the Road to Infinity : Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
- Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings
- Proofs of the Cantor-Bernstein Theorem : A Mathematical Excursion
- Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language
- Quantum Physics, Fuzzy Sets and Logic : Steps Towards a Many-Valued Interpretation of Quantum Mechanics
- Reactive Kripke semantics
- Recent Developments in the Philosophy of Science: EPSA13 Helsinki
- Recent Progress in General Topology III
- Recent Trends in Algebraic Development Techniques : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
- Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
- Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
- Recent Trends in Philosophical Logic
- Relational Topology
- Resolution Methods for the Decision Problem
- Rewriting Techniques and Applications : 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings
- Rewriting Techniques and Applications : 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings
- Rough Sets and Knowledge Technology : 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings
- Saved from the Cellar : Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics
- Scientific Objectivity and Its Contexts
- Semantics of Systems of Concurrent Processes : LITP Spring School on Theoretical Computer Science La Roche Posay, France, April 23–27, 1990 Proceedings
- Set Theory : Exploring Independence and Truth
- Set Theory : With an Introduction to Real Point Sets
- Simple Relation Algebras
- Sorts and Types in Artificial Intelligence : Workshop, Eringerfeld, FRG, April 24–26, 1989 Proceedings
- Sparsity : graphs, structures, and algorithms
- Special Topics in Mathematics for Computer Scientists : Sets, Categories, Topologies and Measures
- Springer Handbook of Model-Based Science
- Stochastic Calculus with Infinitesimals
- Structures in Logic and Computer Science : A Selection of Essays in Honor of A. Ehrenfeucht
- Systems of Reductions
- Temporal Logic : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings
- Teoria algebrica dei meccanismi automatici : lectures given at the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, August 20-29, 1959
- Term Indexing
- The Argument of Mathematics
- The Colorado Mathematical Olympiad: The Third Decade and Further Explorations : From the Mountains of Colorado to the Peaks of Mathematics
- The Congruences of a Finite Lattice : A "Proof-by-Picture" Approach
- The Generic Development Language Deva : Presentation and Case Studies
- The Hyperuniverse Project and Maximality
- The Incomputable : Journeys Beyond the Turing Barrier
- The Life and Work of Leon Henkin : Essays on His Contributions
- The Logic of Information Structures
- The Lvov-Warsaw School. Past and Present
- The Map and the Territory : Exploring the Foundations of Science, Thought and Reality
- The Mathematics of Coordinated Inference : A Study of Generalized Hat Problems
- The Mathematics of Paul Erdős II
- The P=NP Question and Gödel’s Lost Letter
- The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland
- The Real Numbers : An Introduction to Set Theory and Analysis
- The Road to Universal Logic : Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
- The Road to Universal Logic : Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II
- The Square of Opposition: A Cornerstone of Thought
- The Unknown as an Engine for Science : An Essay on the Definite and the Indefinite
- The mathematical experience
- The mathematics of language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings
- Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings
- Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
- Theorem Proving with Analytic Tableaux and Related Methods : 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings
- Theorem Proving with Analytic Tableaux and Related Methods : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings
- Theory Reasoning in Connection Calculi
- Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
- Theory and Applications of Satisfiability Testing : 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
- Theory and Applications of Satisfiability Testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
- Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
- Theory and Applications of Satisfiability Testing – SAT 2007 : 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
- Theory and Applications of Satisfiability Testing – SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
- Topics in Orbit Equivalence
- Towards Paraconsistent Engineering
- Towards a General Theory of Classifications
- Towards an Arithmetical Logic : The Arithmetical Foundations of Logic
- Trick or Truth? : The Mysterious Connection Between Physics and Mathematics
- Turing Computability : Theory and Applications
- Turing Machines with Sublogarithmic Space
- Turing's Revolution : The Impact of His Ideas about Computability
- Typed Lambda Calculi and Applications : 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings
- Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings
- Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
- Typed Lambda Calculi and Applications : International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16–18, 1993, Utrech, The Netherlands Proceedings
- Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings
- Typed Lambda Calculi and Applications : Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings
- Types for Proofs and Programs : International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers
- Types for Proofs and Programs : International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers
- Uncertainty-Based Information : Elements of Generalized Information Theory
- Visual Reasoning with Diagrams
- Vivid Logic : Knowledge-Based Reasoning with Two Kinds of Negation
- Wandering Towards a Goal : How Can Mindless Mathematical Laws Give Rise to Aims and Intention?
- Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
- Word Equations and Related Topics : 1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 Proceedings
- Word Equations and Related Topics : Second International Workshop, IWWERT '91 Rouen, France, October 7–9, 1991 Proceedings
- Writing Proofs in Analysis
- λ-Calculus and Computer Science Theory : Proceedings of the Symposium Held in Rome March 25–27, 1975

## Embed (Experimental)

### Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options:

Include data citation:

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/E4GrqaiyHrg/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/E4GrqaiyHrg/">Mathematical Logic and Foundations</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

### Preview

## Cite Data - Experimental

### Data Citation of the Concept Mathematical Logic and Foundations

Copy and paste the following RDF/HTML data fragment to cite this resource

`<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/E4GrqaiyHrg/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/E4GrqaiyHrg/">Mathematical Logic and Foundations</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>`