#
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

- Authority link
- http://id.worldcat.org/fast/01002068

- Source
- fast

## Context

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

No resources found

No enriched resources found

- 15th Annual IEEE Symposium on Logic in Computer Science
- 18th Annual IEEE Symposium on Logic in Computer Science : 22-25 June 2003, Ottawa, Canada : proceedings
- 2012 19th International Symposium on Temporal Representation and Reasoning : TIME 2012 : proceedings : 12-14 September 2012, Leicester, United Kingdom
- 2013 20th International Symposium on Temporal Representation and Reasoning
- 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 20-23 June 2017, ReykjavĂk, Iceland
- 21st Annual IEEE Symposium on Logic in Computer Science : LICS 2006 : proceedings : 12-15 August 2006, Seattle, Washington
- 22nd Annual IEEE Symposium on Logic in Computer Science : proceedings : WrocĹ‚aw, Poland, 10-14 July, 2007
- 23rd International Symposium on Temporal Representation and Reasoning : TIME 2016 : proceedings : 17-19 October 2016, Kongens Lyngby, Denmark
- 24th Annual IEEE Symposium on Logic in Computer Science : proceedings, Los Angeles, California
- 25th Annual IEEE Symposium on Logic in Computer Science : LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom
- A Concise Introduction to Pure Mathematics, Third Edition
- A first course in mathematical logic and set theory
- A first journey through logic
- A hierarchy of formulas in set theory
- A tour through mathematical logic
- ACM transactions on computational logic
- Advanced mathematics : a transitional reference
- Advances in Technological Applications of Logical and Intelligent Systems : Selected Papers from the Sixth Congress on Logic Applied to Technology
- Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas
- Advances in logic, artificial intelligence, and robotics : LAPTEC 2002
- Alan Turing : his work and impact
- Algebra and computer science
- Algebra and logic
- An Introduction to Non-Classical Logic : From If to Is
- An examination of a decision procedure
- An introduction to GĂ¶del's theorems
- An introduction to practical formal methods using temporal logic
- An introductory to set theory
- Andrzej Mostowski and foundational studies
- Annals of mathematical logic
- Annals of pure and applied logic
- Architecture of mathematics
- Archive for mathematical logic
- Automated deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings
- Autonomy platonism and the indispensability argument
- Axioms
- Beyond Sets : a Venture in Collection-Theoretic Revisionism
- Beyond infinity : an expedition to the outer-limits of mathematical universe
- Bridge to abstract mathematics
- Bulletin of the Section of Logic
- Classical mathematical logic : the semantic foundations of logic
- Collected Works : Vol. I: Publications, 1929-1936
- Colloquium on "inference" : on Monday, 14 March 1988
- Computability and logic
- Computational thinking for the modern problem solver
- Concepts of proof in mathematics, philosophy, and computer science
- Conditional and preferential logics : proof methods and theorem proving
- Constructibility and mathematical existence
- Deducibility and Decidability
- Diamond : a paradox logic
- Discovering patterns in mathematics and poetry
- Discrete structures, logic, and computability
- Distilling ideas : an introduction to mathematical thinking
- Elements of causal inference : foundations and learning algorithms
- Essays on Wittgenstein's Tractatus
- First-Order Logic and Automated Theorem Proving
- Fork Algebras in Algebra, Logic and Computer Science
- Formal logic : a philosophical approach
- Formalism and beyond : on the nature of mathematical discourse
- Formalized mathematics : a computer assisted approach
- Foundations without foundationalism : a case for second-order logic
- Frege and other philosophers
- Frege's logic
- From a Heuristic Point of View : Essays in Honour of Carlo Cellucci
- Godel's Incompleteness Theorems
- Handbook of Mathematical Induction
- Hausdorff on ordered sets
- ISVD 2007 : proceedings : 9-11 July, 2007, University of Glamorgan, Pontypridd, Wales
- Ideals, Varieties, and Algorithms : an Introduction to Computational Algebraic Geometry and Commutative Algebra
- Importance and Legacy
- In the Light of Logic
- Infinity and the Mind : the Science and Philosophy of the Infinite
- Infinity and truth
- Infinity and truth
- Institution-independent model theory
- Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London
- Intermediate logic
- Introduction to Mathematical Logic, Fifth Edition
- Introduction to Mathematical Structures and Proofs
- Introduction to mathematical proofs : a transition to advanced mathematics
- Journal of formalized reasoning
- Journey to the edge of reason : the life of Kurt GĂ¶del
- Kagaku tetsugaku
- Kant's philosophy of mathematics : volume I: the critical philosophy and its roots
- LICS 2004 : proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science : Turku, Finland, 13-17 July, 2004
- Lectures in logic and set theory
- Lectures in logic and set theory : mathematical logic
- Logic With Trees : an Introduction to Symbolic Logic
- Logic and Combinatorics
- Logic and automata : history and perspectives
- Logic and discrete mathematics : a concise introduction
- Logic in Computer Science (4th Conference)
- Logic in Computer Science : Proceedings of the 3rd Symposium, 1988
- Logic in Computer Science : Proceedings: Symposium on Logic in Computer Science (14th, 1999: Trento, Italy)
- Logic in Computer Science, 12th Symposium
- Logic in Computer Science, 7th Conference (LICS '92)
- Logic in Computer Science, 8th Conference (LICS '93)
- Logic in Computer Science, 9th Annual IEEE Symposium
- Logic in computer science : proceedings : 13th Annual IEEE Symposium on Logic in Computer Science : June 21-24, 1998, Indianapolis, Indiana
- Logic without borders : essays on set theory, model theory, philosophical logic, and philosophy of mathematics
- Logic, Computation, Hierarchies
- Logica universalis
- Logical Foundations of Proof Complexity
- Logical dynamics of information and interaction
- Logical reasoning with diagrams
- Logically determined design : clockless system design with NULL convention logic
- Logicism and its philosophical legacy
- Logique arithmĂ©tique : l'arithmĂ©tisation de la logique
- Mathematical Logic
- Mathematical Logic in Asia : Proceedings of the 9th Asian Logic Conference
- Mathematical logic
- Mathematical logic
- Mathematical logic in the 20th century
- Mathematical logic quarterly : MLQ
- Mathematical logic with applications
- Mathematical reasoning : patterns, problems, conjectures, and proofs
- Mechanical logic in three-dimensional space
- Meinongian logic : the semantics of existence and nonexistence
- Methods and Applications of Mathematical Logic
- Minds and machines
- Model theory and the philosophy of mathematical practice : formalization without foundationalism
- Multiple-Valued Logic, 24th Symposium (ISMVL '94)
- Neutrosophic sets and systems
- New perspectives on games and interaction
- Paradox and paraconsistency : conflict resolution in the abstract sciences
- Peeling potatoes or grinding lenses : Spinoza and young Wittgenstein converse on immanence and its logic
- Perspectives in computational complexity : the Somenath Biswas anniversary volume
- Philosophy of mathematics in the twentieth century : selected essays
- Principles of Truth
- Principles of truth
- Proceedings : the Sixth Annual IEEE Symposium on Logic in Computer Science ; July 15-18, 1991, Amsterdam, the Netherlands
- Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
- Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009
- Proceedings of the 12Th Asian Logic Conference
- Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 28-30, 1991, Davis, California
- Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016, New York City, USA
- Proceedings, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science : 25-28 June 2013, New Orleans, Louisiana
- Proceedings, 20th annual IEEE Symposium on Logic in Computer Science : LICS 2005, 26-29 June 2005, Chicago, Illinois
- Proceedings, 26th Annual IEEE Symposium on Logic in Computer Science
- Proof Logic and Formalization
- Proof and knowledge in mathematics
- Propositions, functions, and analysis : selected essays on Russell's philosophy
- Qualitative Spatial and Temporal Reasoning
- Quantification : a Case Study In Transcendental-Metaphysical Logic
- Quantifiers Propositions Identity
- Recursion Theory for Metamathematics
- Reports on mathematical logic
- Roads to infinity : the mathematics of truth and proof
- Russell's Hidden Substitutional Theory
- Second IEEE International Conference on Fuzzy Systems : San Francisco, California, March 28-April 1, 1993
- Set Theory, Arithmetic, and Foundations of Mathematics : Theorems, Philosophies
- Set theory and foundations of mathematics : an introduction to mathematical logic, Volume 1, Set theory
- Set theory and its logic
- Sets and Extensions in the Twentieth Century
- Sets, Logic and Categories
- Shattered symmetry : group theory from the eightfold way to the periodic table
- Studies in Logic' by Members of the Johns Hopkins University (1883)
- Symbolic computation and education
- Symbolic logic : syntax, semantics, and proof
- Temporal Logic of Reactive and Concurrent Systems : Specification
- Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings, June 26-29, 1995, San Diego, California
- The 3rd International Symposium on Voronoi Diagrams in Science and Engineering 2006 : proceedings : July 2nd-July 5th, 2006, Banff Center, Calgary, Alberta, Canada
- The Birth of model theory : Lowenheim's Theorem in the frame of the theory of relatives
- The Equations : Icons of Knowledge
- The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940
- The arrow and the point : Russell and Wittgenstein's Tractatus
- The bulletin of symbolic logic
- The collected works of Alonzo Church
- The continued exercise of reason : public addresses
- The continuum companion to philosophical logic
- The determinacy of long games
- The equations : icons of knowledge
- The foundations of mathematics
- The journal of symbolic logic
- The logic of reliable inquiry
- The mathematics of logic : a guide to completeness theorems and their applications
- The origin of the logic of symbolic mathematics : Edmund Husserl and Jacob Klein
- The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Cantor through Russell to GĂ¶del
- The selected works of A.M. Turing : his work and impact
- The significance of the new logic
- Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California
- Tracking Reason : Proof, Consequence, and Truth
- Tractatus logico-philosophicus de Wittgenstein - Le statut de la philosophie (Commentaire) : Comprendre la philosophie avec lePetitPhilosophe.fr
- Twenty Five Years of Constructive Type Theory
- Twenty-third Annual IEEE Symposium on Logic in Computer Science : proceedings, 24-27 June 2008, Pittsburgh, Pennsylvania
- Two one-day Colloquia on "Grammatical Inference--Theory, Applications and Alternatives" : on Thursday, 22 and Friday, 23 April 1993
- Uncertain Inference
- Uncertain inference
- Wittgenstein's Tractatus : a dialectical interpretation
- Word and object
- Write your own proofs in set theory and discrete mathematics

## 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/XvVtmbVgo8w/" 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/XvVtmbVgo8w/">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/XvVtmbVgo8w/" 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/XvVtmbVgo8w/">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>`