#
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 Missouri-St. Louis 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 Missouri-St. Louis Libraries**.- Label
- Logic, Symbolic and mathematical

## Context

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

No resources found

No enriched resources found

- 100% mathematical proof
- A course in mathematical logic
- A course in mathematical logic
- A course in mathematical logic for mathematicians
- A first course in logic : an introduction to model theory, proof theory, computability, and complexity
- A first course in logic : an introduction to model theory, proof theory, computability, and complexity
- A framework for priority arguments
- A mathematical introduction to logic
- A new approach to the logical theory of interrogatives
- A precis of mathematical logic
- A primer of formal logic
- A profile of mathematical logic
- A programming logic : with an introduction to the PL/CV verifier
- A resolution principle for a logic with restricted quantifiers
- A survey of mathematical logic
- A theory of formal deducibility
- A theory of sets
- Abstract sets and finite ordinals : an introduction to the study of set theory
- Advances in mathematics research, Volume 18
- Alan Turing : his work and impact
- Algebra, mathematical logic, number theory, topology : collection of survey papers : on the 50th anniversary of the institute
- Algebraic methods of mathematical logic
- Algebraic systems
- An examination of logical positivism
- An introduction to Gödel's Theorems
- An introduction to Gödel's theorems
- An introduction to Wittgenstein's Tractatus
- An introduction to analysis
- An introduction to mathematical logic
- An introduction to mathematical machine theory
- An introduction to modern logic : an elementary textbook of symbolic logic
- An introduction to non-classical logic : from if to is
- An introduction to symbolic logic
- 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
- An outline of mathematical logic : fundamental results and notions explained with all details
- Analysis and logic
- Analytical syllogistics : a pragmatic interpretation of the Aristotelian logic
- Andrzej Mostowski and foundational studies
- Andrzej Mostowski and foundational studies
- Appalachian set theory : 2006-2012
- Automata, logics, and infinite games : a guide to current research
- Automated deduction in classical and non-classical logics : selected papers
- Autonomy Platonism and the indispensability argument
- Autonomy platonism and the indispensability argument
- Axiomatic theory of sets and classes
- Basic concepts of mathematics and logic
- Beyond Sets : a Venture in Collection-Theoretic Revisionism
- CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
- Categories and types in logic, language, and physics : essays dedicated to Jim Lambek on the occasion of his 90th birthday
- Church's Thesis after 70 years
- Church's thesis after 70 years
- 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
- Coding the universe
- Collected works
- Collected works, Volume I, Publications 1929-1936
- Combinatory logic
- Communication : a logical model
- Complete theories
- Compound statements and mathematical logic
- Computability and logic
- Computability and logic
- Computability and logic
- Computability and logic
- Computational aspects of an order-sorted logic with term declarations
- Concepts of proof in mathematics, philosophy, and computer science
- Concepts of proof in mathematics, philosophy, and computer science
- Conditional and preferential logics : proof methods and theorem proving
- Conditional and preferential logics : proof methods and theorem proving
- Conditional inference and logic for intelligent systems : a theory of measure-free conditioning
- Constructibility and mathematical existence
- Constructibility and mathematical existence
- Constructibility and mathematical existence
- Contributions to mathematical logic. : Proceedings of the Logic Colloquim, Hannover, 1966
- Course of mathematical logic
- David Makinson on classical methods for non-classical problems
- Deducibility and decidability
- Deducibility and decidability
- Derivation and counterexample ; : an introduction to philosophical logic
- Development of mathematical logic
- Diamond : a paradox logic
- Diamond : a paradox logic
- Dictionary of symbols of mathematical logic
- Die vier Wissenschaften der Pythagoreer
- Direct and converse theorems : the elements of symbolic logic
- Discovering patterns in mathematics and poetry
- Discovering patterns in mathematics and poetry
- Distilling ideas : an introduction to mathematical thinking
- Elementary logic
- Elementary logic
- Elements of mathematical logic
- Elements of mathematical logic
- Elements of mathematical logic and set theory
- Elements of mathematical logic. : (Model theory)
- Elements of scientific inquiry
- Essays in memory of Imre Lakatos
- Essays in the philosophy and history of logic and mathematics
- Essays on Frege
- Essays on Wittgenstein's Tractatus
- Essays on Wittgenstein's Tractatus
- Essays on Wittgenstein's Tractatus
- Explaining beauty in mathematics : an aesthetic theory of mathematics
- First course in mathematical logic
- First order mathematical logic
- First-order dynamic logic
- First-order functional calculus
- First-order logic
- Fork algebras in algebra : logic and computer science
- Formal logic (1847)
- Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic
- Formal methods : theory and practice
- Formal systems and recursive functions ; : proceedings
- Formalism and beyond : on the nature of mathematical discourse
- Formalism and beyond : on the nature of mathematical discourse
- Foundations : essays in philosophy, logic, mathematics and economics
- Foundations of logic programming
- Foundations of mathematical logic
- Foundations of mathematics
- Foundations of mathematics. : Symposium papers commemorating the sixtieth birthday of Kurt Gödel
- Foundations of the logical theory of scientific knowledge (complex logic)
- Foundations without foundationalism : a case for second-order logic
- Foundations without foundationalism : a case for second-order logic
- Frege and Gödel : two fundamental texts in mathematical logic
- Frege and other philosophers
- Frege's logic
- Frege's logic
- From Frege to Gödel ; : a source book in mathematical logic, 1879-1931
- From a Heuristic Point of View : Essays in Honour of Carlo Cellucci
- From mathematics to philosophy
- Fundamentals of mathematics
- Fundamentals of symbolic logic
- Grammatical inference : learning automata and grammars
- Grundzüge der mathematischen Logik
- Grundzüge der theoretischen Logik
- Gödel's incompleteness theorems
- Handbook of logic in artificial intelligence and logic programming, Volume 5, Logic programming
- Handbook of logic in computer science, Volume 5, Logic and algebraic methods
- Handbook of mathematical logic
- In the light of logic
- In the light of logic
- Inductive probability
- Infinity and the mind : the science and philosophy of the infinite
- Infinity and the mind : the science and philosophy of the infinite
- Inheritance theory : an artificial intelligence approach
- Inheritance theory : an artificial intelligence approach
- Intensional logic and the metaphysics of intentionality
- Intermediate logic
- Intermediate logic
- Introduction to elementary mathematical logic
- Introduction to mathematical logic
- Introduction to mathematical logic
- Introduction to mathematical logic
- Introduction to mathematical logic : set theory, compatible functions, model theory
- Introduction to mathematical thought
- Introduction to neutrosophic logic
- Introduction to neutrosophic logic
- Introduction to symbolic logic
- Introduction to symbolic logic
- Introduction to symbolic logic and its applications
- Introduction to the foundations of mathematics
- Introduction to the foundations of mathematics
- Introductory real analysis
- Intuitionism ; : an introduction
- Kandelman's Krim ; : a realistic fantasy
- Knowledge in action : logical foundations for specifying and implementing dynamical systems
- Knowledge in action : logical foundations for specifying and implementing dynamical systems
- Kurt Gödel : collected works, Volume IV
- Kurt Gödel : collected works, Volume V
- Kurt Gödel : essays for his centennial
- L'algèbre logique et ses rapports avec la théorie des relations
- Language, logic and mathematics
- Language, philosophy and logic
- Languages with expressions of infinite length
- Lattices to logic
- Laws of form
- Learning language in logic
- Lectures in Model Theory
- Lectures in logic and set theory, Vol. 1, Mathematical logic
- Lectures in logic and set theory, Volume 2, Set theory
- Lectures on non-standard analysis
- Lectures on the logic of computer programming
- Lewis Carroll's Symbolic logic : part I, Elementary, 1896, fifth edition, part II, Advanced, never previously published : together with letters from Lewis Carroll to eminent nineteenth-century logicians and to his "logical sister," and eight versions of the Barber-shop paradox
- Linear Logic in Computer Science
- Logic
- Logic : techniques of formal reasoning
- Logic and algorithms : with applications to the computer and information sciences
- Logic and arithmetic: natural numbers
- Logic and automata : history and perspectives
- Logic and automata : history and perspectives
- Logic and foundations of mathematics
- Logic and foundations of science
- Logic and information flow
- Logic and information flow
- Logic and knowledge; essays, 1901-1950.
- Logic for mathematicians
- Logic of programs : workshop, ETH Zurich, May-July 1979
- Logic programming, functions, relations, and equations
- Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday
- Logic with trees : an introduction to symbolic logic
- Logic with trees : an introduction to symbolic logic
- Logic, algebra, and databases
- Logic, semantics, metamathematics : papers from 1923 to 1938
- Logical and logico-mathematical calculi. 2
- Logical dynamics of information and interaction
- Logical foundations of mathematics for behavioral scientists
- Logical foundations of probability
- Logical foundations of proof complexity
- Logical papers
- Logical systems containing only a finite number of symbols
- Logical writings
- Logically determined design : clockless system design with NULL convention logic
- Logically determined design : clockless system design with NULL convention logic
- Logicism and its philosophical legacy
- Logics of programs and their applications ; : proceedings, Poznan, August 23-29, 1980
- Logique arithmétique : l'arithmétisation de la logique
- Math and logic games
- Mathematical epistemology and psychology
- Mathematical intuitionism : introduction to proof theory
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic : an introduction to model theory
- Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa
- Mathematical logic and formalized theories ; : a survey of basic concepts and results
- Mathematical logic and the foundation of mathematics : an introductory survey
- Mathematical logic and theoretical computer science
- Mathematical logic in the 20th century
- Mathematical logic in the 20th century
- Mathematical logic, the theory of algorithms, and the theory of sets
- Mathematical logic: a first course
- Mathematical recreations of Lewis Carroll [pseud.]
- Mathematical theory of program correctness
- Mathematical thinking and writing : a transition to abstract mathematics
- Mathematico deductive theory of rote learning : a study in scientific methodology
- Mathematics and mathematical logic : new research
- Mathematics and mathematical logic : new research
- Mathematics and plausible reasoning
- Mathematics, models, and modality : selected philosophical essays
- Mathematische Gesetze der Logik
- Meaning and necessity ; : a study in semantics and modal logic
- Meinongian logic : the semantics of existence and nonexistence
- Meinongian logic : the semantics of existence and nonexistence
- Mits, wits, and logic
- Modal logics
- Modelling with words : learning, fusion, and reasoning within a formal linguistic representation framework
- Moderate realism and its logic
- Morality, decision, and social organization : toward a logic of ethics
- Natural deduction : the logical basis of axiom systems
- New methods in symbolic logic
- Non-Archimedean utility theory
- Non-standard analysis
- Notebooks, 1914-1916
- Notes on logic
- On group-theoretic decision problems and their classification
- On the syllogism : and other logical writings
- Ontology and the logistic analysis of language. : An enquiry into the contemporary views on universals
- Paradox and paraconsistency : conflict resolution in the abstract sciences
- Paradox and paraconsistency : conflict resolution in the abstract sciences
- Past, present and future
- 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
- Phenomenology and logic : the Boston College lectures on mathematical logic and existentialism
- Phenomenology and logic : the Boston College lectures on mathematical logic and existentialism
- Phenomenology, logic, and the philosophy of mathematics
- Philosophical grammar : part I, The proposition, and its sense, part II, On logic and mathematics
- Philosophical problems of many-valued logic
- Philosophical remarks
- Philosophische Bemerkungen : Aus dem Nachlass
- Philosophische Grammatik
- Philosophy of mathematics and deductive structure in Euclid's Elements
- Philosophy of mathematics in the twentieth century : selected essays
- Philosophy of mathematics in the twentieth century : selected essays
- Piaget's logic : a critique of genetic epistemology
- Polish logic, 1920-1939
- Posthumous writings
- Principles of mathematical logic
- Principles of truth
- Pristine Perspectives on Logic, Language, and Computation : ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers
- Probability and the logic of rational belief
- Problems of form
- Proceedings
- Proceedings of the Summer School in Logic, Leeds, 1967 ; : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic
- Proof and Other Dilemmas : Mathematics and Philosophy
- Proof and knowledge in mathematics
- Proof and knowledge in mathematics
- Proof in geometry
- Proof, logic, and formalization
- Proof, logic, and formalization
- Proof, logic, and formalization
- Proofs and refutations : the logic of mathematical discovery
- Propositional calculus
- Prototractatus ; : an early version of Tractatus logico-philosophicus
- Provability in logic
- Ptolemy's Tetrabiblos in the Translation of William of Moerbeke : Claudii Ptolemaei Liber Iudicialium.
- Pure logic, and other minor works
- Purity, spectra and localisation
- Purity, spectra and localisation
- Quantification : a Case Study In Transcendental-Metaphysical Logic
- Quantification : transcending beyond Frege's boundaries : a case study in transcendental-metaphysical logic
- Quantification theory
- Quantifiers, Propositions and Identity : Admissible Semantics for Quantified Modal and Substructural Logics
- Quantitative analysis methods for substantive analysts
- Readings in nonmonotonic reasoning
- Reasoning about theoretical entities
- Reasoning about theoretical entities
- Recursion theory for metamathematics
- Recursive function theory and logic
- Reports on mathematical logic
- Représentabilité et définissabilité dans les algèbres transformationnelles et dans les algèbres polyadiques
- Retracing elementary mathematics
- Rewriting and Typed Lambda Calculi : Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
- Rippling : meta-level guidance for mathematical reasoning
- Selected logic papers
- Selected mathematical papers of Axel Thue
- Selected papers in logic and foundations, didactics, economics
- Selected works
- Selected works in logic
- Sentences undecidable in formalized arithmetic ; : an exposition of the theory of Kurt Gödel
- Set Theory, Arithmetic, and Foundations of Mathematics : Theorems, Philosophies
- Set theory
- Set theory and its logic
- Set theory and its logic
- Set theory and its logic
- Set theory and its logic
- Set theory and logic
- Set theory and logic
- Set theory and the continuum hypothesis
- Sets, models and recursion theory. : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
- Simplicity theory
- Solvable cases of the decision problem
- Something to reckon with : the logic of terms
- Something to reckon with : the logic of terms
- Specifying message passing and time-critical systems with temporal logic
- Structural reality
- Structural reality
- Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
- Studies in constructive mathematics and mathematical logic
- Studies in foundations and combinatorics
- Studies in logic
- Studies in logic
- Studies in logic
- Studies in logic and probability
- Symbolic logic
- Symbolic logic
- Symbolic logic
- Symbolic logic : an introduction
- Symbolic logic : an introductory textbook for non-mathematicians
- Symbolic logic ; : an introduction
- Symbolic logic and mechanical theorem proving
- Symbolism and truth ; : an introduction to the theory of knowledge
- Technical methods in philosophy
- Techniques of deductive inference
- Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
- Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings
- Tense and tense logic
- Term logic with choice operator
- The Birth of model theory : Lowenheim's Theorem in the frame of the theory of relatives
- The Calculi of symbolic logic, 1
- The Continuum companion to philosophical logic
- The Equations : Icons of Knowledge
- The Logic of decision and action
- The Logical enterprise
- The Logico-algebraic approach to quantum mechanics
- The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940
- The algebra of logic
- The anatomy of mathematics
- The argument of the Tractatus : its relevance to contemporary theories of logic, language, mind, and philosophical truth
- The argument of the Tractatus : its relevance to contemporary theories of logic, language, mind, and philosophical truth
- The argument of the Tractatus : its relevance to contemporary theories of logic, language, mind, and philosophical truth
- The arrow and the point : Russell and Wittgenstein's Tractatus
- The basic laws of arithmetic ; : exposition of the system
- The birth of model theory : Lowenheim's theorem in the frame of the theory of relatives
- The calculi of lambda-conversion
- The categories of Charles Peirce
- The collected papers of Gerhard Gentzen
- The concept of logical consequence
- 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 deductive foundations of computer programming : a one-volume version of The logical basis for computer programming
- The determinacy of long games
- The determinacy of long games
- The development of mathematical logic
- The development of mathematical logic
- The development of symbolic logic ; : a critical-historical study of the logical calculus
- The elements of mathematical logic
- 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 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 foundations of mathematics and other logical essays
- The language of logic
- The logic of chance
- The logic of discovery
- The logic of inconsistency : a study in non-standard possible-world semantics and ontology
- The logic of information structures
- The logic of knowledge bases
- The logic of knowledge bases
- The logic of knowledge bases
- The logic of plurality
- The logic of programming
- The logical basis for computer programming
- The logical problem of induction
- The logical syntax of language
- The logical syntax of language
- The logical systems of Lesniewski
- The mathematics of logic : a guide to completeness theorems and their applications
- The metaphysics of Wittgenstein's Tractatus
- The metaphysics of the Tractatus
- The nature of mathematics ; : a critical survey
- 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 pragmatics and semiotics of standard languages
- The reality of numbers : a physicalist's philosophy of mathematics
- The rhetoric of science : a methodological discussion of the two-by-two table
- The selected works of A.M. Turing : his work and impact
- The technique of theory construction
- The theory of probability : an inquiry into the logical and mathematical foundations of the calculus of probability
- The two-valued iterative systems of mathematical logic
- Thinking about Gödel and Turing : essays on complexity 1970-2007
- Thinking about Gödel and Turing : essays on complexity 1970-2007
- Thirty years of foundational studies : lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964
- Théorie des modèles en logique mathématique
- Time and modality
- To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism
- Topics in philosophical logic
- Tractatus logico-philosophicus
- Tractatus logico-philosophicus : the German text Logisch-philosophische Abhandlung
- Transcendence and Wittgenstein's Tractatus
- Truth & assertibility
- Truth & assertibility
- Two Soviet studies on Frege
- Two applications of logic to mathematics
- Uncertain inference
- Uncertain inference
- Understanding symbolic logic
- Universal logic through the looking-glass : reflections on logical pluralism in the light of culture
- VRCC-3D+: Qualitative spatial and temporal reasoning in 3 dimensions
- Vivid logic : knowledge-based reasoning with two kinds of negation
- Vollständige Systeme modaler und intuitionistischer Logik
- Vorlesungen über die Algebra der Logik (exakte logik)
- Vorlesungen über die Algebra der Logik : [exakte Logik)
- What is a number? : mathematical concepts and their origins
- What is mathematical logic?
- Wittgenstein's Tractatus : a critical exposition of its main lines of thought
- Wittgenstein's Tractatus : a dialectical interpretation
- Wittgenstein's Tractatus : a dialectical interpretation
- Wittgenstein's Tractatus : a dialectical interpretation
- Wittgenstein's Tractatus and the modern arts
- Wittgenstein's Tractatus logico-philosophicus : reader's guide
- Wittgenstein's early philosophy : three sides of the mirror
- Word and object
- Word and object
- 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.umsl.edu/resource/vR27ERD5waM/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.umsl.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.umsl.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.umsl.edu/">University of Missouri-St. Louis 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.umsl.edu/resource/vR27ERD5waM/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.umsl.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.umsl.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.umsl.edu/">University of Missouri-St. Louis Libraries</a></span></span></span></span></div>`