#
Logic, Symbolic and mathematical
Resource Information
The concept ** Logic, Symbolic and mathematical** represents the subject, aboutness, idea or notion of resources found in **Missouri University of Science & Technology 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**Missouri University of Science & Technology Library**.- 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 Concise Introduction to Mathematical Logic
- A Concise Introduction to Pure Mathematics, Third Edition
- A Course on Mathematical Logic
- A Cp-Theory Problem Book : Special Features of Function Spaces
- A concise introduction to mathematical logic
- A course in mathematical logic
- A course in mathematical logic for mathematicians
- A course on mathematical logic
- A first course in mathematical logic and set theory
- A hierarchy of formulas in set theory
- A logical introduction to proof
- A programming logic : with an introduction to the PL/CV verifier
- A resolution principle for a logic with restricted quantifiers
- A science of operations : machines, logic and the invention of programming
- A science of operations : machines, logic and the invention of programming
- A study of logics
- A theory of formal deducibility
- A theory of sets
- A tour through mathematical logic
- Adapting proofs-as-programs : the Curry-Howard protocol
- Admissibility of logical inference rules
- Advanced Łukasiewicz calculus and MV-algebras
- Advances in Natural Deduction : A Celebration of Dag Prawitz's Work
- Alan Turing : his work and impact
- Alfred Tarski : Early Work in Poland-Geometry and Teaching
- Alfred Tarski : life and logic
- Algebraic systems
- An Introduction to Non-Classical Logic : From If to Is
- An Invitation to Abstract Mathematics
- An examination of a decision procedure
- An introduction to Gödel's theorems
- An introduction to fuzzy logic applications
- An introduction to mathematical logic and type theory : to truth through proof
- An introduction to mathematical logic and type theory : to truth through proof
- An introduction to modern logic : an elementary textbook of symbolic logic
- An introduction to practical formal methods using temporal logic
- An introductory to set theory
- Analysis and synthesis of logics : how to cut and paste reasoning systems
- Andrzej Mostowski and foundational studies
- Architecture of mathematics
- Architecture of mathematics
- Around and beyond the square of opposition
- Artificial Adaptive Systems Using Auto Contractive Maps : Theory, Applications and Extensions
- Automata, logics, and infinite games
- Automated deduction in classical and non-classical logics : selected papers
- Automated deduction in multiple-valued logics
- Automated synthesis and NULL cycle reduction optimization for asynchronous NULL convention circuits using industry-standard CAD tools
- Autonomy platonism and the indispensability argument
- Basic Real Analysis
- Beyond Sets : a Venture in Collection-Theoretic Revisionism
- Beyond first order model theory
- CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
- Chapter zero : fundamental notions of abstract mathematics
- Circles disturbed : the interplay of mathematics and narrative
- Classical and fuzzy concepts in mathematical logic and applications
- Classical mathematical logic : the semantic foundations of logic
- Cognitive reasoning : a formal approach
- Collected Works : Vol. I: Publications, 1929-1936
- Collected logical works
- Collected works
- Combinatorial Algebra: Syntax and Semantics
- Combinatorial Set Theory : With a Gentle Introduction to Forcing
- Combinatory logic
- Complete theories
- Computability and logic
- Computational Complexity of Solving Equation Systems
- Computational aspects of an order-sorted logic with term declarations
- Computational thinking for the modern problem solver
- Computer Science Logic : 13th International Workshop, CSL'99 8th Annual Conference of the EACSL Madrid, Spain, September 20-25, 1999 Proceedings
- Concepts of proof in mathematics, philosophy, and computer science
- Conditional and preferential logics : proof methods and theorem proving
- Constructibility and mathematical existence
- Contradictions, from Consistency to Inconsistency
- Deducibility and Decidability
- Delta, a paradox logic
- Descriptive complexity
- Diamond : a paradox logic
- Dictionary of symbols of mathematical logic
- Die vier Wissenschaften der Pythagoreer
- Discovering patterns in mathematics and poetry
- Discrete structures, logic, and computability
- Distilling ideas : an introduction to mathematical thinking
- Duality Theories for Boolean Algebras with Operators
- Elementary logic
- Elementary symbolic logic
- Elements of causal inference : foundations and learning algorithms
- Elements of scientific inquiry
- Elements of set theory
- Elements of the theory of computation
- Eleven papers on logic, algebra, analysis and topology
- Epistemic logic for AI and computer science
- Ernst Zermelo : An Approach to His Life and Work
- Essays on Wittgenstein's Tractatus
- Excursions in the History of Mathematics
- Executing temporal logic programs
- Facets of Uncertainties and Applications : ICFUA, Kolkata, India, December 2013
- Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
- First-Order Logic and Automated Theorem Proving
- First-order dynamic logic
- First-order logic
- Five papers on logic and foundations
- Fork Algebras in Algebra, Logic and Computer Science
- Formal concept analysis : foundations and applications
- Formal concept analysis : mathematical foundations
- Formal methods in artificial intelligence
- Formalism and beyond : on the nature of mathematical discourse
- Foundations of logic programming
- Foundations of mathematics
- Foundations of mathematics. : Symposium papers commemorating the sixtieth birthday of Kurt Gödel
- Foundations without foundationalism : a case for second-order logic
- Freedom and Enforcement in Action : A Study in Formal Action Theory
- Frege and Gödel : two fundamental texts in mathematical logic
- Frege and other philosophers
- Frege's logic
- Frege, Russell, and Modern 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
- Fundamentals of symbolic logic
- Fuzzy logic technology and applications
- Geometry of knowledge for intelligent systems
- George Boole : selected manuscripts on logic and its philosophy
- Giuseppe Peano between mathematics and logic : proceeding of the International conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2-3, 2008
- Godel's Incompleteness Theorems
- Great Circle of Mysteries : Mathematics, the World, the Mind
- Handbook of Mathematical Induction
- Handbook of Model Checking
- Handbook of Set Theory
- Handbook of logic and language
- Handbook of logic in artificial intelligence and logic programming
- Handbook of logic in computer science
- Handbook of mathematical logic
- Harmonies of Disorder : Norbert Wiener: A Mathematician-Philosopher of Our Time
- How the World Computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
- How to read and do proofs : an introduction to mathematical thought process
- How to read and do proofs : an introduction to mathematical thought processes
- Hybrid logic and its proof-theory
- Ideals, Varieties, and Algorithms : An Introduction to Computational Algebraic Geometry and Commutative Algebra
- Identification of fuzzy sets with a class of canonically induced random sets and some applications
- In the Light of Logic
- In the light of logic
- 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
- Institution-independent model theory
- Intermediate logic
- Interpreting Gödel : critical essays
- Introduction to Mathematical Logic, Fifth Edition
- Introduction to Mathematical Structures and Proofs
- Introduction to mathematical logic
- Introduction to mathematical structures and proofs
- Introduction to mathematics of satisfiability
- Introduction to model theory and to the metamathematics of algebra
- Introduction to semantics, and Formalization of logic
- Introduction to symbolic logic
- Introduction to the foundations of mathematics
- Is God a mathematician?
- Journey to the edge of reason : the life of Kurt Gödel
- Kant's philosophy of mathematics : volume I: the critical philosophy and its roots
- Kripke's worlds : an introduction to modal logics via Tableaux
- Kurt Gödel : das Album = the album
- L'algèbre logique et ses rapports avec la théorie des relations
- Language, logic and mathematics
- Language, truth, and logic in mathematics
- Learning language in logic
- Lectures in logic and set theory
- Lectures in logic and set theory : mathematical logic
- Lectures on Logic and Computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
- Lectures on non-standard analysis
- Lectures on the logic of computer programming
- Lesniewski's systems of logic and foundations of mathematics
- Logic
- Logic : a brief course
- Logic : a first course
- Logic : mathematics, language, computer science and philosophy
- Logic Colloquium '69 ; : proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
- Logic With Trees : an Introduction to Symbolic Logic
- Logic and Integer Programming
- Logic and automata : history and perspectives
- Logic and structure
- Logic as algebra
- Logic for applications
- Logic for computer science : foundations of automatic theorem proving
- Logic for computer scientists
- Logic for mathematicians
- Logic for mathematics and computer science
- Logic for problem solving
- Logic of mathematics : a modern course of classical logic
- 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 without borders : essays on set theory, model theory, philosophical logic, and philosophy of mathematics
- Logic, Computation, Hierarchies
- Logic, Mathematics, and Computer Science : Modern Foundations with Practical Applications
- Logica : Volume 1 Dimostrazioni e modelli al primo ordine
- Logica universalis : towards a general theory of logic
- Logica universalis : towards a general theory of logic
- Logical Foundations of Cyber-Physical Systems
- Logical Foundations of Proof Complexity
- Logical Tools for Handling Change in Agent-Based Systems
- Logical and logico-mathematical calculi. 2
- Logical dynamics of information and interaction
- Logical foundations of mathematics for behavioral scientists
- Logical foundations of probability
- Logical labyrinths
- Logical systems containing only a finite number of symbols
- 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 for artificial intelligence
- Logics of programs and their applications ; : proceedings, Poznan, August 23-29, 1980
- Logics of specification languages
- Logique arithmétique : l'arithmétisation de la logique
- Math and logic games
- Mathematical Logic
- Mathematical Logic : Foundations for Information Science
- Mathematical Olympiad Challenges
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic : an introduction to model theory
- Mathematical logic : foundations for information science
- Mathematical logic and computability
- Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa
- Mathematical logic and model theory : a brief introduction
- Mathematical logic for computer science
- Mathematical logic in the 20th century
- Mathematical logic with applications
- Mathematical logic, the theory of algorithms, and the theory of sets
- Mathematical problems from applied logic I : logics for the XXIst century
- Mathematical problems from applied logic II : logics for the XXIst century
- Mathematical reasoning : patterns, problems, conjectures, and proofs
- Mathematical theory of program correctness
- Mathematico deductive theory of rote learning : a study in scientific methodology
- Mathematics and plausible reasoning
- Mathematics and plausible reasoning
- Mathematics of Discrete Structures for Computer Science
- Mathematics, computer science and logic - a never ending story : the Bruno Buchberger festschrift
- Meaning and existence in mathematics
- Meaning and necessity : a study in semantics and modal logic
- Meaning and necessity ; : a study in semantics and modal logic
- Mechanical logic in three-dimensional space
- Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
- Meinongian logic : the semantics of existence and nonexistence
- Methods of Cut-Elimination
- Model Theory and the Philosophy of Mathematical Practice : Formalization without Foundationalism
- Model Theory in Algebra, Analysis and Arithmetic : Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori
- Model theory and the philosophy of mathematical practice : formalization without foundationalism
- Modelling with words : learning, fusion, and reasoning within a formal linguistic representation framework
- Multi-structures and their logics, for computer science, computer engineering, mathematics, and philosophy
- Multiple-Valued Logic, 24th Symposium (ISMVL '94)
- Naturalizing logico-mathematical knowledge : approaches from philosophy, psychology, and cognitive science
- New Directions in Paraconsistent Logic : 5th WCP, Kolkata, India, February 2014
- Non solo calcoli : Domande e risposte sui perché della matematica
- Non-standard analysis
- Non-standard analysis
- Non-standard logics for automated reasoning
- Nonstandard Analysis for the Working Mathematician
- On Intuitionistic Fuzzy Sets Theory
- On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
- On group-theoretic decision problems and their classification
- Once upon a number : the hidden mathematical logic of stories
- One Hundred Prisoners and a Light Bulb
- Optimization and computational logic
- Paradox and paraconsistency : conflict resolution in the abstract sciences
- Paradox and paraconsistency : conflict resolution in the abstract sciences
- Paradoxes in probability theory
- Peeling potatoes or grinding lenses : Spinoza and young Wittgenstein converse on immanence and its logic
- Pell and Pell?Lucas Numbers with Applications
- Perspectives in computational complexity : the Somenath Biswas anniversary volume
- Petr Hájek on Mathematical Fuzzy Logic
- Philosophical grammar
- Philosophy of mathematics in the twentieth century : selected essays
- Principia mathematica
- Principles of Truth
- Principles of truth
- Pristine Perspectives on Logic, Language, and Computation : ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers
- Problems and Proofs in Numbers and Algebra
- Proceedings of the Summer School in Logic, Leeds, 1967 ; : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic
- Proof Logic and Formalization
- Proof and knowledge in mathematics
- Proof in geometry
- Proofs and algorithms : an introduction to logic and computability
- Prototractatus ; : an early version of Tractatus logico-philosophicus
- Purity, spectra and localisation
- Qualitative Spatial and Temporal Reasoning
- Quantification : a Case Study In Transcendental-Metaphysical Logic
- Quantifiers Propositions Identity
- Reactive kripke semantics
- Recent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
- Recent Trends in Philosophical Logic
- Recursion Theory for Metamathematics
- Reports on mathematical logic
- Revision, acceptability and context : theoretical and algorithmic aspects
- 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
- Roads to infinity : the mathematics of truth and proof
- Roads to infinity : the mathematics of truth and proof
- Selected logic papers
- Set Theory : Exploring Independence and Truth
- Set Theory : With an Introduction to Real Point Sets
- Set Theory, Arithmetic, and Foundations of Mathematics : Theorems, Philosophies
- Set theory and its logic
- Set theory and the continuum hypothesis
- Set theory, logic, and their limitations
- Sets and Extensions in the Twentieth Century
- Sets, Logic and Categories
- Sets, models and recursion theory. : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
- Shattered symmetry : group theory from the eightfold way to the periodic table
- Sixteen papers on logic and algebra
- Solving higher-order equations : from logic to programming
- Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
- Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
- Studies in Logic' by Members of the Johns Hopkins University (1883)
- Studies in constructive mathematics and mathematical logic
- Symbolic logic
- Symbolic logic : and, The game of logic
- Symbolic logic : syntax, semantics, and proof
- Symbolic logic and mechanical theorem proving
- Techniques of deductive inference
- Temporal Logic of Reactive and Concurrent Systems : Specification
- Temporal logic
- Temporal logic and state systems
- Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings
- The Birth of model theory : Lowenheim's Theorem in the frame of the theory of relatives
- The Calculi of symbolic logic, 1
- The Equations : Icons of Knowledge
- The Logic of Categorial Grammars : A Deductive Account of Natural Language Syntax and Semantics
- The Lvov-Warsaw School. Past and Present
- The Mathematics of Language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
- The P=NP question and Gödel's lost letter
- The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland
- The Road to Universal Logic : Festschrift for 50th Birthday of Jean-Yves Bâeziau Volume I
- The Road to Universal Logic : Festschrift for the 50th Birthday of Jean-Yves Bâeziau Volume II
- 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 arrow and the point : Russell and Wittgenstein's Tractatus
- The best of all possible worlds : mathematics and destiny
- The calculi of lambda-conversion
- The categories of Charles Peirce
- The collected papers of Gerhard Gentzen
- The collected works of Alonzo Church
- The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
- The continued exercise of reason : public addresses
- The continuum companion to philosophical logic
- The determinacy of long games
- The development 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 foundations of mathematics
- The languages of logic
- The limits of logic : higher-order logic and the Löwenheim-Skolem theorem
- The logic of information structures
- The logic of reliable inquiry
- The logical syntax of language
- The mathematics of coordinated inference : a study of generalized hat problems
- The mathematics of inheritance systems
- The mathematics of logic : a guide to completeness theorems and their applications
- The nature of mathematics ; : a critical survey
- The origin of the logic of symbolic mathematics : Edmund Husserl and Jacob Klein
- The search for certainty : a philosophical account of foundations of mathematics
- The selected works of A.M. Turing : his work and impact
- The semantic foundations of logic
- The significance of the new logic
- The two-valued iterative systems of mathematical logic
- Théorie des modèles en logique mathématique
- Tracking Reason : Proof, Consequence, and Truth
- Tractatus logico-philosophicus
- Tractatus logico-philosophicus
- Tractatus logico-philosophicus de Wittgenstein - Le statut de la philosophie (Commentaire) : Comprendre la philosophie avec lePetitPhilosophe.fr
- Type-2 fuzzy logic : theory and applications
- Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
- Un curso de logica matematica
- Un mondo di idee : la matematica ovunque
- Uncertain Inference
- Uncertain inference
- Using a VHDL testbench for transistor-level simulation and power calculation of NULL convention asynchronous digital circuits
- VRCC-3D+: Qualitative spatial and temporal reasoning in 3 dimensions
- Visualization, Explanation and Reasoning Styles in Mathematics
- Vorlesungen über die Algebra der Logik (exakte logik)
- What is mathematical logic?
- Wittgenstein's Tractatus : a dialectical interpretation
- Word and object
- Writing Proofs in Analysis

## 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.library.mst.edu/resource/vR27ERD5waM/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.mst.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.library.mst.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.mst.edu/">Missouri University of Science & Technology 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.library.mst.edu/resource/vR27ERD5waM/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.mst.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.library.mst.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.mst.edu/">Missouri University of Science & Technology Library</a></span></span></span></span></div>`