#
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

- Source
- fast

## Context

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

No resources found

No enriched resources found

- A deduction model of belief
- A formalization of set theory without variables
- A mathematical introduction to logic
- A primer of formal logic,
- A resolution principle for a logic with restricted quantifiers
- A structuralist theory of logic
- A survey of mathematical logic
- A theory of heuristic information in game-tree search
- Advanced logic for applications
- An algebraic characterization of first-order definability
- An outline of set theory
- Elements of mathematical logic
- Elements of the theory of computation
- Elements of the theory of computation
- Essays in memory of Imre Lakatos
- Essays on Frege,
- From natural language processing to logic for expert systems : a logic based approach to artificial intelligence
- Fuzzy logic technology and applications
- Geometric calculus : according to the Ausdehnungslehre of H. Grassmann
- Handbook of logic in artificial intelligence and logic programming
- Higher order logic and hardware verification
- Interpreting Gödel : critical essays
- Introduction to Mathematical Logic
- Language in action : categories, lambdas, and dynamic logic
- Le rationnel, : études complémentaires à l'Essai sur la certitude logique,
- Learning language in logic
- Lewis Carroll's symbolic logic
- Logic Colloquium '69; : proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969.
- Logic for applications
- Logic for problem solving
- Logic of mathematics : a modern course of classical logic
- Logic, language, and computation
- Logic, semantics, metamathematics : papers from 1923 to 1938
- Logical methods : in honor of Anil Nerode's sixtieth birthday
- Logics for artificial intelligence
- Mathematical logic
- Mathematics and logic for digital devices
- Natural deduction, : the logical basis of axiom systems
- Opuscules et fragments inédits de Leibniz, : extraits des manuscrits de la Bibliothèque royale de Hanovre
- Philosophical remarks
- Philosophy and logical syntax
- Piaget's logic : a critique of genetic epistemology
- Principia mathematica,
- Pure logic, and other minor works.
- Reasoning with incomplete information
- Recursive function theory and logic
- Resolution proof systems : an algebraic theory
- Régles utiles et claires pour la direction de l'esprit en la recherche de la vérité
- Selected papers in logic and foundations, didactics, economics
- Sets, logic, and categories
- Symbolic and knowledge-based signal processing
- Symbolic logic and intelligent machines
- Symbolic logic and mechanical theorem proving
- Symbolism and truth; : an introduction to the theory of knowledge
- The Frege reader
- The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940
- The algebra of logic,
- The argument of the Tractatus : its relevance to contemporary theories of logic, language, mind, and philosophical truth
- The development of mathematical logic
- The logic of inconsistency : a study in non-standard possible-world semantics and ontology
- The logic of information structures
- The metaphysics of the Tractatus
- The notion of number and the notion of class,
- The temporal logic of reactive and concurrent systems
- The theory of probability, : an inquiry into the logical and mathematical foundations of the calculus of probability.
- The use of logic in legal reasoning
- Theory of deductive systems and its applications
- Thinking about Gödel and Turing : essays on complexity, 1970-2007
- Tractatus logico-philosophicus
- Transcendence and Wittgenstein's Tractatus
- Translations from the philosophical writings of Gottlob Frege
- Vivid logic : knowledge-based reasoning with two kinds of negation
- What is mathematical logic?
- Wittgenstein's Tractatus : an introduction
- Wittgenstein's Tractatus : an introduction
- Wittgenstein's Tractatus : history and interpretation
- Wittgenstein's early philosophy : three sides of the mirror

## Embed

### 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/15AcAwl3qT8/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/15AcAwl3qT8/">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/15AcAwl3qT8/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/15AcAwl3qT8/">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>`