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

The Resource
Proof theory
Resource Information

The concept

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

## Context

Context of Proof theory#### Subject of

No resources found

No enriched resources found

- 2-D quadratic maps and 3-D ODE systems : a rigorous approach
- An accompaniment to higher mathematics
- Burden of proof, presumption and argumentation
- Charming proofs : a journey into elegant mathematics
- Concepts of proof in mathematics, philosophy, and computer science
- Conditional and preferential logics : proof methods and theorem proving
- Conjecture and proof
- Extending the frontiers of mathematics : inquiries into proof and augmentation
- Handbook of mathematical induction : theory and applications
- How to read and do proofs : an introduction to mathematical thought processes
- Icons of mathematics : an exploration of twenty key images
- Icons of mathematics : an exploration of twenty key images
- Lectures on the Curry-Howard isomorphism
- Logic for concurrency and synchronisation
- Logic for concurrency and synchronisation
- Memoirs of a proof theorist : Gödel and other logicians
- Perspectives in logic : logical foundations of proof complexity
- Proof and computations
- Proof theory
- Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990
- Proof theory and automated deduction
- Proof, logic, and formalization
- The art of proof : basic training for deeper mathematics
- The burdens of proof : discriminatory power, weight of evidence, and tenacity of belief
- The elementary theory of groups : a guide through the proofs of the Tarski conjectures
- The nuts and bolts of proofs
- The proof is in the pudding : the changing nature of mathematical proof
- Three Views of Logic : Mathematics, Philosophy, and Computer Science
- Ways of proof theory
- Why prove it again? : alternative proofs in mathematical practice
- Why prove it again? : alternative proofs in mathematical practice

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