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
71 Items that share the Concept Proof theory
Context
Context of Proof theorySubject 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>
