#
Logic, Symbolic and mathematical
Resource Information
The concept ** Logic, Symbolic and mathematical** represents the subject, aboutness, idea or notion of resources found in **University of San Diego 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**University of San Diego Libraries**.- Label
- Logic, Symbolic and mathematical

## Context

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

No resources found

No enriched resources found

- A course in mathematical logic
- A first course in mathematical logic and set theory
- A formalization of set theory without variables
- A precis of mathematical logic;
- A primer of formal logic,
- A profile of mathematical logic
- A tour through mathematical logic
- Alan Turing : his work and impact
- Alan Turing : his work and impact
- An examination of a decision procedure
- An introduction to Hilbert space and quantum logic
- An introduction to Wittgenstein's Tractatus
- An introduction to mathematical thought
- An introduction to non-classical logic : from if to is
- An introduction to symbolic logic
- An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities
- Andrzej Mostowski and foundational studies
- Autonomy Platonism and the indispensability argument
- Bertrand Russell and the origins of the set-theoretic 'paradoxes'
- Beyond sets : a venture in collection-theoretic revisionism
- Circles disturbed : the interplay of mathematics and narrative
- Circles disturbed : the interplay of mathematics and narrative
- Classical mathematical logic : the semantic foundations of logic
- Classical mathematical logic : the semantic foundations of logic
- Coding the universe
- Collected logical works
- Computability : computable functions, logic, and the foundations of mathematics
- Computability and logic
- Concepts of proof in mathematics, philosophy, and computer science
- Constructibility and Mathematical Existence
- Constructibility and mathematical existence
- Constructibility and mathematical existence
- Deducibility and decidability
- Deducibility and decidability
- Diamond : a paradox logic
- Digital logic and switching circuits : operation and analysis
- Discovering patterns in mathematics and poetry
- Distilling ideas : an introduction to mathematical thinking
- Door wetenschap tot wijsheid : verzameling wijsgerige studiën
- Effective mathematics of the uncountable
- Elementary logic
- Elements of set theory
- Elements of symbolic logic
- Elements of the theory of computation
- Elucidating the ‘Tractatus’ : Wittgenstein's Early Philosophy of Logic and Language
- Essays in the philosophy and history of logic and mathematics
- Essays on Frege's conception of truth
- Essays on Frege,
- Essays on Wittgenstein's Tractatus
- Essays on Wittgenstein's Tractatus.
- Finite dimensional vector spaces
- First-order logic and automated theorem proving
- Fixing Frege
- Folk algebras in algebra : logic and computer science
- Formalism and beyond : on the nature of mathematical discourse
- Formalization of logic,
- Foundations of logic and mathematics
- Foundations without Foundationalism : A Case for Second-Order Logic
- Foundations without foundationalism : a case for second-order logic
- Foundations without foundationalism : a case for second-order logic
- Frege and Other Philosophers
- Frege and other philosophers
- Frege and other philosophers
- Frege's logic
- Frege's logic
- From Frege to Gödel; : a source book in mathematical logic, 1879-1931
- From an ivory tower, : a discussion of philosophical problems originating in modern mathematics
- Handbook of logic in computer science
- Handbook of mathematical induction : theory and applications
- Handbook of mathematical logic
- Handbook of tableau methods
- How to read and do proofs : an introduction to mathematical thought processes
- In the light of logic
- Induction and analogy in mathematics
- Inductive probability
- Infinity and the Mind : the Science and Philosophy of the Infinite
- Infinity and the mind : the science and philosophy of the infinite
- Infinity and the mind : the science and philosophy of the infinite
- Institution-independent model theory
- Intensional logic and the metaphysics of intentionality
- Intermediate logic
- Introduction to mathematical logic
- Introduction to mathematical logic, Volume 1
- Introduction to mathematical structures and proofs
- Introduction to semantics, : and Formalization of logic
- Introduction to symbolic logic and its applications.
- Lewis Carroll's symbolic logic
- Logic and algorithms, : with applications to the computer and information sciences
- Logic and automata : history and perspectives
- Logic and reality : essays on the legacy of Arthur Prior
- Logic and structure
- Logic and the foundations of game and decision theory (LOFT 7)
- Logic with trees : an introduction to symbolic logic
- Logic without borders
- Logical dynamics of information and interaction
- Logical number theory : an introduction
- Logically determined design : clockless system design with NULL convention logic
- Logicism and its philosophical legacy
- Logique arithmetique : l'arithmetisation de la logique
- Mathematical foundations of programming
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic and programming languages
- Mathematical logic for computer science
- Mathematical logic in the 20th century
- Mathematical reasoning : patterns, problems, conjectures, and proofs
- Mathematical recreations of Lewis Carroll [pseud.]
- Mathematical theory of program correctness
- Mathematico deductive theory of rote learning; : a study in scientific methodology,
- Mathematics and plausible reasoning, Vol. 1 Induction and analogy in mathematics
- Meaning and necessity; : a study in semantics and modal logic
- Mits, wits and logic;
- Modal logics.
- Moderate realism and its logic
- Natural deduction, : the logical basis of axiom systems
- Non-standard analysis
- Non-standard analysis
- Non-standard analysis
- On group-theoretic decision problems and their classification
- Once upon a number : the hidden mathematical logic of stories
- Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets
- Ontology and the logistic analysis of language : an enquiry into the contemporary views on universals
- Papers in philosophical logic
- Paradox and paraconsistency : conflict resolution in the abstract sciences
- Patterns of plausible inference
- Peeling potatoes or grinding lenses : Spinoza and young Wittgenstein converse on immanence and its logic
- Peeling potatoes or grinding lenses : Spinoza and young Wittgenstein converse on immanence and its logic
- Peeling potatoes or grinding lenses : Spinoza and young Wittgenstein converse on immanence and its logic
- Perspectives in logic : logical foundations of proof complexity
- Phenomenology and logic : the Boston College Lectures on mathematical logic and existentialism
- Phenomenology and logic : the Boston College lectures on mathematical logic and existentialism
- Philosophical applications of free logic
- Philosophical remarks
- Philosophy and logical syntax
- Philosophy of mathematics and deductive structure in Euclid's Elements
- Philosophy of mathematics in the twentieth century : selected essays
- Polish logic, 1920-1939
- Premises and conclusions : symbolic logic for legal analysis
- Principia mathematica,
- Principles of truth
- Principles of truth
- Proof and knowledge in mathematics
- Proof, logic, and formalization
- Prototractatus; : an early version of Tractatus logico-philosophicus.
- Ptolemy's Tetrabiblos in the Translation of William of Moerbeke : Claudii Ptolemaei Liber Iudicialium.
- Pulling up the ladder : the metaphysical roots of Wittgenstein's Tractatus logico-philosophicus
- Qualitative spatial and temporal reasoning
- Quality and concept
- Quantification : transcending beyond Frege's boundaries : a case study in transcendental-metaphysical logic
- Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics
- Recursive function theory and logic
- Representing and reasoning with probabilistic knowledge : a logical approach to probabilities
- Rights and decisions : formal models of law and liberalism
- Roads to infinity : the mathematics of truth and proof
- Selected papers in logic and foundations, didactics, economics
- Semantic construction of intuitionistic logic
- Semantic entailment and formal derivability
- Set theory
- Set theory and its logic
- Set theory and its logic
- Set theory and logic
- Set theory and the continuum hypothesis
- Set theory, arithmetic, and foundations of mathematics : theorems, philosophies
- Sets, functions, measures, Volume 1, Fundamentals of set and number theory
- Sets, logic, and axiomatic theories.
- Sets, logic, and categories
- Something to reckon with : the logic of terms
- Structure of laws as represented by symbolic methods
- Studies in logic
- Studies in logic and probability
- Symbolic logic
- Symbolic logic : syntax, semantics, and proof
- Symbolic logic and intelligent machines
- Symbolic logic and the real number system : an introduction to the foundations of number systems
- Symbolic logic,
- Symbolic logic; : an introduction
- Techniques of deductive inference
- Temporal logic of programs
- Temporal logic of reactive and concurrent systems : specification
- The Big Typescript, TS. 213
- The Boole-De Morgan correspondence 1842-1864
- The Frege reader
- The Haskell road to logic, maths and programming
- The Logical enterprise
- The Structure of Models of Peano Arithmetic
- The anatomy of mathematics,
- The argument of the Tractatus : its relevance to contemporary theories of logic, language, mind, and philosophical truth
- The basic laws of arithmetic; : exposition of the system.
- 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 birth of model theory : Löwenheim's theorem in the frame of the theory of relatives
- The calculi of Lambda-conversion
- The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
- The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory,
- The continuum companion to philosophical logic
- The critical approach to science and philosophy.
- The determinacy of long games
- The elements of mathematical logic
- The enchantment of words : Wittgenstein's Tractatus logico-philosophicus
- The equations : icons of knowledge
- The essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life, plus the secrets of Enigma
- The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edition
- The foundations of mathematics
- The function and forms of thought; : an elementary text in methodology and logic based upon symbolic principles,
- The hollow universe
- The irrationals : a story of the numbers you can't count on
- The linguistic basis of logic translation
- The logic book
- The logic design of transistor digital computers
- The logic of chance. : An essay on the foundations and province of the theory of probability, with especial reference to its application to moral and social science.
- The logic of inconsistency : a study in non-standard possible-world semantics and ontology
- The logic of programming
- The logic of reliable inquiry
- The logical basis for computer programming
- The logical syntax of language,
- The mathematics of logic : a guide to completeness theorems and their applications
- The metaphysics of the Tractatus
- The nature of mathematics; : a critical survey
- The origin of the logic of symbolic mathematics : Edmund Husserl and Jacob Klein
- The origin of the logic of symbolic mathematics : Edmund Husserl and Jacob Klein
- The reality of numbers : a physicalist's philosophy of mathematics
- Theory of formal systems
- Topics on vagueness
- Toposes and local set theories : an introduction
- Tractatus logico-philosophicus,
- Transcendence and Wittgenstein's Tractatus
- Transcendence and Wittgenstein's Tractatus
- Truth through proof : a formalist foundation for mathematics
- Two applications of logic to mathematics
- Two-valued iterative systems of mathematical logic. (am-5)
- Uncertain inference
- What is a number? : mathematical concepts and their origins
- Wittgenstein's Tractatus
- Wittgenstein's Tractatus : a dialectical interpretation
- Wittgenstein's Tractatus : a dialectical interpretation
- Wittgenstein's Tractatus : an introduction
- Wittgenstein's early philosophy : three sides of the mirror
- Word and object

## 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.sandiego.edu/resource/vR27ERD5waM/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.sandiego.edu/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.sandiego.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.sandiego.edu/">University of San Diego 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.sandiego.edu/resource/vR27ERD5waM/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.sandiego.edu/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.sandiego.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.sandiego.edu/">University of San Diego Libraries</a></span></span></span></span></div>`