#
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

## Context

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

- A Course on Mathematical Logic
- A logical introduction to proof
- Advances in Natural Deduction : A Celebration of Dag Prawitz's Work
- Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings
- 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
- 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 Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings
- Axiomatic Method and Category Theory
- Banach Spaces and Descriptive Set Theory: Selected Topics
- Basic Real Analysis
- Beiträge zur Philosophie der Logik und Mathematik.
- 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
- Classical mathematical logic : the semantic foundations of logic
- Cognitive reasoning : a formal approach
- Combinatorial Algebra: Syntax and Semantics
- Computability and Complexity in Analysis : 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers
- 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
- Computer Aided Verification : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 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 : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings
- Computer Science Logic : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
- Computer Science Logic : 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
- Computer Science Logic : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
- Computer-Aided Verification : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings
- Concepto y elaboración de un diccionario analitico-categorial.
- Constructivity and Computability in Historical and Philosophical Perspective
- Dag Prawitz on Proofs and Meaning
- David Makinson on Classical Methods for Non-Classical Problems
- Diamond : a paradox logic
- 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
- 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
- Formal Languages and Applications
- Formal Theories of Information : From Shannon to Semantic Information Theory and General Concepts of Information
- Formalism and beyond : on the nature of mathematical discourse
- From Boolean Logic to Switching Circuits and Automata : Towards Modern Information Technology
- From Logic to Practice : Italian Studies in the Philosophy of Mathematics
- Fuzzy Logic : A Framework for the New Millennium
- 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 : Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers
- Hyperedge Replacement: Grammars and Languages
- Ideals, Varieties, and Algorithms : An Introduction to Computational Algebraic Geometry and Commutative Algebra
- Introduction to mathematical structures and proofs
- Intuitionistic Fuzzy Sets : Theory and Applications
- Isabelle : A Generic Theorem Prover
- 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
- Logic : a brief course
- 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 : 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 Structure
- Logic and games on automatic structures : playing with quantifiers and decompositions
- Logic without borders
- Logic, Rationality, and Interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, 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 : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
- Logical Foundations of Computer Science — Tver '92 : Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings
- Logical Structures for Representation of Knowledge and Uncertainty
- 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 Logic : Foundations for Information Science
- Mathematical logic
- Mathematical logic for computer science
- Mathematics of Fuzzy Sets and Fuzzy Logic
- Mathematics, Computer Science and Logic - A Never Ending Story : The Bruno Buchberger Festschrift
- 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
- 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
- Natural Language and Logic : International Scientific Symposium Hamburg, FRG, May 9–11, 1989 Proceedings
- New Computational Paradigms : Changing Conceptions of What is Computable
- Non-commutative Multiple-Valued Logic Algebras
- 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
- Pell and Pell–Lucas Numbers with Applications
- Perspectives in logic : logical foundations of proof complexity
- Philosophy of mathematics in the twentieth century : selected essays
- 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
- Problems and Proofs in Numbers and Algebra
- 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
- Quantum Physics, Fuzzy Sets and Logic : Steps Towards a Many-Valued Interpretation of Quantum Mechanics
- Recent Trends in Algebraic Development Techniques : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
- Recent Trends in Philosophical Logic
- 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
- 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 : With an Introduction to Real Point Sets
- Sorts and Types in Artificial Intelligence : Workshop, Eringerfeld, FRG, April 24–26, 1989 Proceedings
- Temporal Logic : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings
- Term Indexing
- The Generic Development Language Deva : Presentation and Case Studies
- 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 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 Unknown as an Engine for Science : An Essay on the Definite and the Indefinite
- The origin of the logic of symbolic mathematics : Edmund Husserl and Jacob Klein
- 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 and Applications of Satisfiability Testing – SAT 2007 : 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
- Topics in Orbit Equivalence
- Towards a General Theory of Classifications
- Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 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 : 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
- Uncertain inference
- Uncertainty-Based Information : Elements of Generalized Information Theory
- Wittgenstein's Tractatus : a dialectical interpretation
- Word Equations and Related Topics : 1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 Proceedings
- Word and object
- λ-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/w31EkhSv5Sk/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/w31EkhSv5Sk/">Logic, Symbolic and mathematical</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 Logic, Symbolic and mathematical

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/w31EkhSv5Sk/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/w31EkhSv5Sk/">Logic, Symbolic and mathematical</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>`