#
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

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

- Source
- fast

## Context

Context of Proof theory#### Subject of

- Adapting proofs-as-programs : the Curry-Howard protocol
- Advances in proof theory
- Building proofs : a practical guide
- Fundamental proof methods in computer science : a computer-based approach
- Gentzen's centenary : the quest for consistency
- How to read and do proofs : an introduction to mathematical thought processes
- Journal of formalized reasoning
- Logic for concurrency and synchronisation
- Problems and proofs in numbers and algebra
- Proof and System-Reliability
- Proof patterns
- The moment of proof : mathematical epiphanies
- 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?
- 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/1_aKfynnYIg/" 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/1_aKfynnYIg/">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/1_aKfynnYIg/" 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/1_aKfynnYIg/">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>`