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

The Resource
Proof theory
Resource Information

The concept

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

## Context

Context of Proof theory#### Subject of

No resources found

No enriched resources found

- A bridge to advanced mathematics
- Adapting proofs-as-programs : the Curry-Howard protocol
- An introduction to mathematical reasoning : numbers, sets, and functions
- Analysis : with an introduction to proof
- Applied proof theory : proof interpretations and their use in mathematics
- Applied proof theory : proof interpretations and their use in mathematics
- Arithmetic, proof theory, and computational complexity
- Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics
- Axiomatising the logic of computer programming
- Basic proof theory
- Beweisen : e. prakt.-semant. Unters.
- Beweistheorie
- Combinators, -terms and proof theory
- Compactness and contradiction
- Complexity of proofs and their transformations in axiomatic theories
- Conjecture and proof
- Derivation and computation : taking the Curry-Howard correspondence seriously
- Extensional Gödel functional interpretation : a consistency proof of classical analysis
- Extensional Gödel functional interpretation ; : a consistency proof of classical analysis
- Goal-directed proof theory
- How to read and do proofs : an introduction to mathematical thought processes
- Icons of mathematics : an exploration of twenty key images
- Identity of proofs
- Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
- Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
- Lectures on the Curry-Howard isomorphism
- Logic for concurrency and synchronisation
- Logic in algebraic form. : Three languages and theories
- Logic, proof, and sets
- Mathematical proofs : a transition to advanced mathematics
- Mathematische grundlagenforschung : intuitionismus, beweistheorie
- Memoirs of a proof theorist : Gödel and other logicians
- Metamathematical investigation of intuitionistic arithmetic and analysis
- Metamathematical investigation of intuitionistic arithmetic and analysis
- Methods of cut-elimination
- On the shape of mathematical arguments
- On the shape of mathematical arguments
- Problems and proofs in numbers and algebra
- Proof methods for modal and intuitionistic logics
- Proof theory
- Proof theory
- Proof theory : an introduction
- Proof theory : an introduction
- Proof theory : the first step into impredicativity
- Proof theory and intuitionistic systems
- Proof theory and intuitionistic systems
- Proof theory for fuzzy logics
- Proof, logic, and formalization
- Proofs and fundamentals : a first course in abstract mathematics
- Proofs and types
- Provability, complexity, grammars
- Reductive logic and proof-search : proof theory, semantics, and control
- Set theory : Boolean-valued models and independence proofs
- Tableau systems for first order number theory and certain higher order theories
- Tableau systems for first order number theory and certain higher order theories
- The algebra of proofs
- The art of proof : basic training for deeper mathematics
- The dynamics of judicial proof : computation, logic, and common sense
- The elementary theory of groups : a guide through the proofs of the Tarski conjectures
- The incompleteness phenomenon : a new course in mathematical logic
- The logic of provability
- The power of interaction
- The proof is in the pudding : the changing nature of mathematical proof
- The proof is in the pudding : the changing nature of mathematical proof
- Thirty-five years of automating mathematics
- Tracking reason : proof, consequence, and truth
- Utilizing problem structure in planning : a local search approach

## 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/gQsvt7WiUd4/" 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/gQsvt7WiUd4/">Proof theory</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 Proof theory

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/gQsvt7WiUd4/" 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/gQsvt7WiUd4/">Proof theory</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>`