Symbolische logica
Resource Information
The concept Symbolische logica represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
The Resource
Symbolische logica
Resource Information
The concept Symbolische logica represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
- Label
- Symbolische logica
- Source
- gtt
39 Items that share the Concept Symbolische logica
Context
Context of Symbolische logicaSubject of
- A mathematical introduction to logic
- An introduction to symbolic logic
- Aristotle's syllogistic from the standpoint of modern formal logic
- Aristotle's syllogistic from the standpoint of modern formal logic
- Arithmetic, proof theory, and computational complexity
- Artificial intelligence and symbolic computation : International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings
- Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers
- Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings
- Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings
- Coding the universe
- Computation of language : an essay on syntax, semantics, and pragmatics in natural man-machine communication
- Computer algebra : EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983
- Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982
- Descriptive complexity
- Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings
- Design and implementation of symbolic computation systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992 : proceedings
- Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings
- Dictionary of symbols of mathematical logic.
- EUROSAM 84 : International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984
- Formal logic: its scope and limits
- Fundamentals of symbolic logic
- Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy : Bruno [sic], Czech Republic, August 1996, proceedings
- Handbook of logic and language
- Handbook of mathematical logic
- Introduction to mathematical logic
- Introduction to symbolic logic and its applications
- Iteration theories : the equational logic of iterative processes
- Logical writings;
- Mathematical logic
- Non-standard logics for automated reasoning
- Proceedings of the International Symposium on Symbolic and Algebraic Computation : ISSAC
- Symbolic logic,
- Systems of logic
- The Frege reader
- The Journal of symbolic logic
- The balancing act : combining symbolic and statistical approaches to language
- The bulletin of symbolic logic
- The logic of categories
- Understanding symbolic logic
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/9DIne7ZSsLQ/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/9DIne7ZSsLQ/">Symbolische logica</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 Symbolische logica
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/9DIne7ZSsLQ/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/9DIne7ZSsLQ/">Symbolische logica</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>
