#
MATHEMATICS -- Logic
Resource Information
The concept ** MATHEMATICS -- Logic** represents the subject, aboutness, idea or notion of resources found in **University of Missouri Libraries**.

The Resource
MATHEMATICS -- Logic
Resource Information

The concept

**MATHEMATICS -- Logic**represents the subject, aboutness, idea or notion of resources found in**University of Missouri Libraries**.- Label
- MATHEMATICS -- Logic

- Source
- bisacsh

## Context

Context of MATHEMATICS -- Logic#### Subject of

No resources found

No enriched resources found

- A modern perspective on type theory : from its origins until today
- A tour through mathematical logic
- Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
- Adapting proofs-as-programs : the Curry-Howard protocol
- An Introduction to Many-Valued and Fuzzy Logic : Semantics, Algebras, and Derivation Systems
- An introduction to practical formal methods using temporal logic
- Analysis and synthesis of logics : how to cut and paste reasoning systems
- Applications of membrane computing
- Applied proof theory : proof interpretations and their use in mathematics
- Around and beyond the square of opposition
- Aspects of molecular computing : essays dedicated to Tom Head on the occasion of his 70th birthday
- Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
- Axiom of choice
- Brouwer meets Husserl : on the phenomenology of choice sequences
- Classical mathematical logic : the semantic foundations of logic
- Colloquium de Giorgi 2010-2012
- Combinatory logic : pure, applied and typed
- Completeness theory for propositional logics
- Concept lattices : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004 : proceedings
- DNA computing models
- Developments in language theory : 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004 : proceedings
- Developments in language theory : 9th international conference, DLT 2005, Palermo, Italy, July 4-8, 2005 : proceedings
- Dualisability : unary algebras and beyond
- Ensembles ordonnés finis : concepts, résultats et usages
- Finite automata and application to cryptography
- Formal concept analysis : 4th international conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006 : proceedings
- Formal concept analysis : foundations and applications
- Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings
- Function algebras on finite sets : a basic course on many-valued logic and clone theory
- Fuzzy logic and applications : 5th international workshop, WILF 2003, Naples, Italy, October 9-11, 2003 : revised selected papers
- Fuzzy logic and applications : 6th international workshop, WILF 2005, Crema, Italy, September 15-17, 2005 : revised selected papers
- Game of Life cellular automata
- Gentzen calculi for modal propositional logic
- Goguen categories : a categorical approach to L-fuzzy relations
- Hybrid logic and its proof-theory
- Implementation and application of automata : 10th international conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005 : revised selected papers
- Institution-independent model theory
- Lattice basis reduction : an introduction to the LLL algorithm and its applications
- Lattices and ordered sets
- Lecture notes on O-minimal structures and real analytic geometry
- Logic and its applications : 5th Indian conference, ICLA 2013, Chennai, India, January 10-12, 2013, proceedings
- Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday
- Logica universalis : towards a general theory of logic
- Logica universalis : towards a general theory of logic
- Logical foundations of mathematics and computational complexity : a gentle introduction
- Mathematical logic : foundations for information science
- Mathematical problems from applied logic I : logics for the XXIst century
- Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
- Media theory : interdisciplinary applied mathematics
- Membrane computing : International Workshop, WMC 2003 : Tarragona, Spain, July 17-22, 2003 : revised papers
- Methods of cut-elimination
- Petri nets and other models of concurrency : ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 ; proceedings
- Positivity
- Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
- Proof theory for fuzzy logics
- Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday
- Selected preserver problems on algebraic structures of linear operators and on function spaces
- The P=NP question and Gödel's lost letter
- The seventeen provers of the world
- Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings
- Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
- Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
- Theory and applications of satisfiability testing : SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 : proceedings
- Two Applications of Logic to 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.missouri.edu/resource/KajpNj_jzPA/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/KajpNj_jzPA/">MATHEMATICS -- Logic</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri 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 MATHEMATICS -- Logic

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.missouri.edu/resource/KajpNj_jzPA/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/KajpNj_jzPA/">MATHEMATICS -- Logic</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>`