#
Proof theory
Resource Information
The concept ** Proof theory** represents the subject, aboutness, idea or notion of resources found in **Sydney Jones Library, University of Liverpool**.

The Resource
Proof theory
Resource Information

The concept

**Proof theory**represents the subject, aboutness, idea or notion of resources found in**Sydney Jones Library, University of Liverpool**.- 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
- A framework for priority arguments
- A transition to abstract mathematics : mathematical thinking and writing
- Adapting proofs-as-programs : the Curry-Howard protocol
- Algebra of proofs
- An accompaniment to higher mathematics
- An introduction to mathematical reasoning : numbers, sets, and functions
- An introduction to proof theory : normalization, cut-elimination, and consistency proofs
- An introduction to proofs with set theory
- An introduction to the language of mathematics
- Applied proof theory : proof interpretations and their use in mathematics
- Basic proof theory
- Burden of proof, presumption and argumentation
- Charming proofs : a journey into elegant mathematics
- Computational logic and proof theory
- Concepts of proof in mathematics, philosophy, and computer science
- Conditional and preferential logics : proof methods and theorem proving
- Deductive systems and the decidability problem for hybrid logics
- Elementary induction on abstract structures
- Explanation and proof in mathematics : philosophical and educational perspectives
- Explanation and proof in mathematics : philosophical and educational perspectives
- Frege's notations : what they are and how they mean
- Frege's notations : what they are and how they mean
- Handbook of mathematical induction : theory and applications
- Handbook of proof theory
- How to read and do proofs : an introduction to mathematical thought processes
- Hybrid logic and its proof-theory
- Icons of mathematics : an exploration of twenty key images
- Incompleteness : the proof and paradox of Kurt Godel
- Lectures on the Curry-Howard isomorphism
- Linear logic in computer science
- Logic in algebraic form : Three languages and theories
- Logical foundations of proof complexity
- Mathematical reasoning : writing and proof
- Memoirs of a proof theorist : Gödel and other logicians
- Methods of cut-elimination
- On the extraction of computational content from noneffective convergence proofs in analysis
- Perspectives in logic : logical foundations of proof complexity
- Problems and proofs in numbers and algebra
- Proof and computations
- Proof complexity
- Proof in VDM : case studies
- Proof in mathematics : an introduction
- Proof theory
- Proof theory
- Proof theory : an introduction
- Proof theory : sequent calculi and related formalisms
- Proof theory : the first step into impredicativity
- Proof theory and automated deduction
- Proof theory for fuzzy logics
- Proof, logic, and formalization
- Proofs and fundamentals : a first course in abstract mathematics
- Reductive logic and proof-search : proof theory, semantics, and control
- Set theory : Boolean-valued models and independence proofs
- Set theory : Boolean-valued models and independence proofs
- Space in weak propositional proof systems
- Structural proof theory
- The art of proof : basic training for deeper mathematics
- The axiom of choice
- 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 logic of provability
- The logic of provability
- The nuts and bolts of proofs
- The nuts and bolts of proofs : an introduction to mathematical proofs
- The proof is in the pudding : the changing nature of mathematical proof
- Tracking reason : proof, consequence, and truth
- Tracking reason : proof, consequence, and truth
- Ways of proof theory
- Why is there philosophy of mathematics at all?
- Writing proofs in analysis

## 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.liverpool.ac.uk/resource/gQsvt7WiUd4/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/resource/gQsvt7WiUd4/">Proof theory</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">Sydney Jones Library, University of Liverpool</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.liverpool.ac.uk/resource/gQsvt7WiUd4/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/resource/gQsvt7WiUd4/">Proof theory</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">Sydney Jones Library, University of Liverpool</a></span></span></span></span></div>`