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

The Resource
Proof theory
Resource Information

The concept

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

## Context

Context of Proof theory#### Subject of

- 2-D quadratic maps and 3-D ODE systems : a rigorous approach
- A framework for priority arguments
- Adapting proofs-as-programs : the Curry-Howard protocol
- Algebra of proofs
- 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
- Beweistheorie
- Building proofs : a practical guide
- Charming proofs : a journey into elegant mathematics
- Combinators, -terms and proof theory
- Compactness and contradiction
- Complexity of computations and proofs
- Complexity of proofs and their transformations in axiomatic theories
- Concepts of proof in mathematics, philosophy, and computer science
- Conditional and preferential logics : proof methods and theorem proving
- Conjecture and proof
- Explanation and proof in mathematics : philosophical and educational perspectives
- Extensional Gödel functional interpretation : a consistency proof of classical analysis
- Fundamental proof methods in computer science : a computer-based approach
- Gentzen's centenary : the quest for consistency
- Handbook of mathematical induction : theory and applications
- Icons of mathematics : an exploration of twenty key images
- Incompleteness : the proof and paradox of Kurt Gödel
- Introduction to proof in abstract mathematics
- Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
- Lectures on the Curry-Howard isomorphism
- Linear logic in computer science
- Linear logic in computer science
- Logic for concurrency and synchronisation
- Logic in algebraic form. : Three languages and theories
- Logic, proof, and sets
- Logical foundations of proof complexity
- Logical foundations of proof complexity
- Mathematical proofs : a transition to advanced mathematics
- Mathematical reasoning : writing and proof
- Metamathematical investigation of intuitionistic arithmetic and analysis
- Metamathematics, machines, and Gödel's proof
- Methods of cut-elimination
- Normalization, cut-elimination, and the theory of proofs
- Problems and proofs in numbers and algebra
- Proof methods for modal and intuitionistic logics
- Proof patterns
- Proof theory
- Proof theory
- Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990
- Proof theory : an introduction
- Proof theory : the first step into impredicativity
- Proof theory : the first step into impredicativity
- Proof theory and intuitionistic systems
- Proof theory and logical complexity
- Proof theory for fuzzy logics
- Proofs and fundamentals : a first course in abstract mathematics
- Provability and truth
- Provability, complexity, grammars
- Set theory : Boolean-valued models and independence proofs
- Statistical learning with sparsity : the lasso and generalizations
- Structural Proof Theory
- Structural proof theory
- Tableau systems for first order number theory and certain higher order theories
- The Logic of Provability
- The art of proof : basic training for deeper mathematics
- The elementary theory of groups : a guide through the proofs of the Tarski conjectures
- The history of mathematical proof in ancient traditions
- The logic of provability
- The nuts and bolts of proofs
- The nuts and bolts of proofs : an introduction to mathematical proofs
- The nuts and bolts of proofs : an introduction to mathematical proofs
- The power of interaction
- The proof is in the pudding : the changing nature of mathematical proof
- The structure of proof : with logic and set theory
- The unprovability of consistency : an essay in modal logic
- Theories of types and proofs
- Three views of logic : mathematics, philosophy, and computer science
- Understanding mathematical proof
- Utilizing problem structure in planning : a local search approach
- Utilizing problem structure in planning : a local search approach
- Where is the Gödel-point hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals
- Why is there philosophy of mathematics at all?
- Why prove it again? : alternative proofs in mathematical practice
- Writing proofs in analysis

## Embed (Experimental)

### 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.libraries.ou.edu/resource/gQsvt7WiUd4/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.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.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma 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.libraries.ou.edu/resource/gQsvt7WiUd4/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.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.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>`