#
Logic, Symbolic and mathematical
Resource Information
The concept ** Logic, Symbolic and mathematical** represents the subject, aboutness, idea or notion of resources found in **Cleveland Public Library**.

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**Cleveland Public Library**.- Label
- Logic, Symbolic and mathematical

## Context

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

- 100% mathematical proof
- A course on mathematical logic
- A logical introduction to proof
- A readable introduction to real mathematics
- A tour through mathematical logic
- Alan Turing's systems of logic : the Princeton thesis
- Alfred Tarski : life and logic
- An introduction to Wittgenstein's Tractatus
- An introduction to paraconsistent logics
- An introduction to symbolic logic
- An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities
- An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities
- Applied symbolic logic
- Argument and inference : an introduction to symbolic logic
- Bertrand Russell
- Classical mathematical logic : the semantic foundations of logic
- Cogwheels of the mind : the story of Venn diagrams
- Collected works
- Does mathematical study develop logical thinking? : testing the theory of formal discipline
- Elementary logic
- Elements of causal inference : foundations and learning algorithms
- Elements of symbolic logic
- Elements of the theory of computation
- Essays on Wittgenstein's Tractatus
- Essentials of symbolic logic
- Euclid in the rainforest : discovering universal truth in logic and math
- Extending the frontiers of mathematics : inquiries into proof and argumentation
- Foundations and methods from mathematics to neuroscience : essays inspired by Patrick Suppes
- Foundations of logic and mathematics
- Frege's lectures on logic : Carnap's student notes, 1910-1914
- Frege's logic
- Fundamentals of mathematical logic
- Games, puzzles, and computation
- How to read and do proofs : an introduction to mathematical thought process
- How to read and do proofs : an introduction to mathematical thought processes
- Infinity and the mind : the science and philosophy of the infinite
- Intermediate logic
- International Symposium on Logic Programming
- Introduction to logic : propositional logic
- Introduction to mathematical logic
- Introduction to mathematical logic : set theory, computable functions, model theory
- Introduction to symbolic logic and its applications
- Introduction to the foundations of mathematics : second edition
- Is God a mathematician?
- Knowledge and belief in philosophy and artificial intelligence
- Knowledge in action : logical foundations for specifying and implementing dynamical systems
- Language in action : categories, lambdas, and dynamic logic
- Laws of form
- Learning to reason : an introduction to logic, sets and relations
- Lectures in logic and set theory
- Lewis Carroll's symbolic logic
- Logic : a first course
- Logic : techniques of formal reasoning
- Logic and knowledge : essays, 1901-1950
- Logic and knowledge : essays, 1901-1950
- Logic for mathematicians
- Logic of mathematics : a modern course of classical logic
- Logic, semantics, metamathematics : papers from 1923 to 1938
- Logic-based methods for optimization : combining optimization and constraint satisfaction
- Logical forms : an introduction to philosophical logic
- Logical labyrinths
- Logical papers
- Logically determined design : clockless system design with NULL convention logic
- Logik.
- Major works : selected philosophical writings
- Math and logic games
- Mathematical fallacies and paradoxes
- Mathematical logic
- Mathematical logic for computer science
- Mathematical recreations of Lewis Carroll
- Mathematics and plausible reasoning
- Modern formal logic
- Notebooks, 1914-1916
- On the trail to Wittgenstein's hut : the historical background of the Tractatus logico-philosophicus
- Once upon a number : the hidden mathematical logic of stories
- Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets
- Past, present and future
- Peeling potatoes or grinding lenses : Spinoza and young Wittgenstein converse on immanence and its logic
- Philosophical remarks
- Philosophy and logical syntax
- Piaget's logic : a critique of genetic epistemology
- Piece-part-portion : fractions-decimals-percents
- Popular lectures on mathematical logic
- Popular lectures on mathematical logic
- Predicate logic : the semantic foundations of logic.
- Principia mathematica
- Principles of mathematical logic
- Problems of form
- Recursive function theory and logic
- Reductive logic and proof-search : proof theory, semantics, and control
- Roads to infinity : the mathematics of truth and proof
- Simply logical : intelligent reasoning by example
- Some interesting memories : a paradoxical life
- Specifying systems : the TLA+ language and tools for hardware and software engineers
- Studies in logic and probability
- Symbolic logic
- Symbolic logic
- Symbolic logic
- Symbolic logic and the game of logic
- Systems of logic
- Technical methods in philosophy
- Temporal logic : from ancient ideas to artificial intelligence
- The Big Typescript, TS. 213
- The Frege reader
- The best of all possible worlds : mathematics and destiny
- The birth of model theory : Lowenheim's theorem in the frame of the theory of relatives
- The collected works of J. Richard Büchi
- The concept of logical consequence
- The continued exercise of reason : public addresses
- The game of logic
- The logic of machines and structures
- The logic of machines and structures
- The logic pamphlets of Charles Lutwidge Dodgson and related pieces
- The logical problem of induction
- The logical syntax of language
- The metaphysics of the Tractatus
- The reality of numbers : a physicalist's philosophy of mathematics
- Thirty years of foundational studies : lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964
- Tracking reason : proof, consequence, and truth
- Tractarian semantics : finding sense in Wittgenstein's Tractatus
- Tractatus logico-philosophicus
- Tractatus logico-philosophicus.
- Uncertain inference
- Understanding Principia and Tractatus : Russell and Wittgenstein revisited
- Understanding mathematical proof
- What is a number? : mathematical concepts and their origins
- What is mathematical logic?
- Wittgenstein's Tractatus : a dialectical interpretation
- Wittgenstein's Tractatus : an introduction
- Wittgenstein's Tractatus and the modern arts
- Word and object

## 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.cpl.org/resource/vR27ERD5waM/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.cpl.org/resource/vR27ERD5waM/">Logic, Symbolic and mathematical</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.cpl.org/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.cpl.org/">Cleveland Public Library</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.cpl.org/resource/vR27ERD5waM/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.cpl.org/resource/vR27ERD5waM/">Logic, Symbolic and mathematical</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.cpl.org/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.cpl.org/">Cleveland Public Library</a></span></span></span></span></div>`