#
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

## Context

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

- A Course on Mathematical Logic
- A logical introduction to proof
- Abriss der Logistik : mit besonderer Berücksichtigung der Relationstheorie und ihrer Anwendungen,
- Advances in Natural Deduction : A Celebration of Dag Prawitz's Work
- Alan Turing : his work and impact
- Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings
- Algorithmic Aspects of Cloud Computing : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers
- 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
- Cellular Automata and Discrete Complex Systems : 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings
- Cognitive reasoning : a formal approach
- Combinatorial Algebra: Syntax and Semantics
- Combinatorial Algorithms : 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings
- 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
- Computational Processing of the Portuguese Language : 12th International Conference, PROPOR 2016, Tomar, Portugal, July 13-15, 2016, 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
- Computing and Combinatorics : 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
- Constructivity and Computability in Historical and Philosophical Perspective
- Dag Prawitz on Proofs and Meaning
- David Makinson on Classical Methods for Non-Classical Problems
- Descriptional Complexity of Formal Systems : 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
- Directed Algebraic Topology and Concurrency
- Duality Theories for Boolean Algebras with Operators
- Elements of symbolic logic
- 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 Grammar : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings
- Formal Languages and Applications
- Formal Theories of Information : From Shannon to Semantic Information Theory and General Concepts of Information
- Formalization of logic
- Foundations of Information and Knowledge Systems : 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings
- 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
- Fuzzy Logic : A Framework for the New Millennium
- 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
- 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
- Implementation and Application of Automata : 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings
- Inductive Logic Programming : 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers
- 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 Technology in Bio- and Medical Informatics : 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings
- Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
- Introduction to mathematical structures and proofs
- Introduction to semantics
- Introduction to semantics, : and Formalization of logic
- Introduction to symbolic logic and its applications
- Intuitionistic Fuzzy Sets : Theory and Applications
- Isabelle : A Generic Theorem Prover
- KI 2016: Advances in Artificial Intelligence : 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings
- 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, 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
- Logik; : ihr System und ihr Verhältnis zur Logistik
- Logique, apprentissage et probabilité
- 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 for computer science
- Mathematical recreations of Lewis Carroll [pseud.]
- Mathematics of Fuzzy Sets and Fuzzy Logic
- Mathematics, Computer Science and Logic - A Never Ending Story : The Bruno Buchberger Festschrift
- Meaning and necessity : a study in semantics and modal logic
- 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
- New Developments in Formal Languages and Applications
- 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
- 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
- Programming Languages : 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings
- Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings
- Pure logic and other minor works,
- Quantum Physics, Fuzzy Sets and Logic : Steps Towards a Many-Valued Interpretation of Quantum Mechanics
- Reactive Kripke semantics
- 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
- Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
- 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
- Scalable Uncertainty Management : 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, 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
- Studies in logic
- Subjective Logic : A Formalism for Reasoning Under Uncertainty
- Symbolic logic,
- Temporal Logic : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings
- Term Indexing
- Text Analysis Pipelines : Towards Ad-hoc Large-Scale Text Mining
- The Generic Development Language Deva : Presentation and Case Studies
- The Life and Work of Leon Henkin : Essays on His Contributions
- 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 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 Unknown as an Engine for Science : An Essay on the Definite and the Indefinite
- 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
- Tracking reason : proof, consequence, and truth
- Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII
- Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII : Selected Papers from FDSE 2014
- Trustworthy Global Computing : 10th International Symposium, TGC 2015 Madrid, Spain, August 31 â September 1, 2015 Revised Selected Papers
- 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
- Uncertainty-Based Information : Elements of Generalized Information Theory
- Web Reasoning and Rule Systems : 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings
- Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
- Wittgenstein's Tractatus : history and interpretation
- Word Equations and Related Topics : 1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 Proceedings
- λ-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/fp0kXAyc7hs/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/fp0kXAyc7hs/">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/fp0kXAyc7hs/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/fp0kXAyc7hs/">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>`