Proof theory
Resource Information
The concept Proof theory represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
The Resource
Proof theory
Resource Information
The concept Proof theory represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
- Label
- Proof theory
67 Items that share the Concept Proof theory
Context
Context of Proof theorySubject of
No resources found
No enriched resources found
- A bridge to advanced mathematics
- Adapting proofs-as-programs : the Curry-Howard protocol
- An introduction to mathematical reasoning : numbers, sets, and functions
- 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
- Axiomatising the logic of computer programming
- Basic proof theory
- Beweisen : e. prakt.-semant. Unters.
- Beweistheorie
- Combinators, -terms and proof theory
- Compactness and contradiction
- Complexity of proofs and their transformations in axiomatic theories
- Conjecture and proof
- Derivation and computation : taking the Curry-Howard correspondence seriously
- Extensional Gödel functional interpretation : a consistency proof of classical analysis
- Extensional Gödel functional interpretation ; : a consistency proof of classical analysis
- Goal-directed proof theory
- How to read and do proofs : an introduction to mathematical thought processes
- Icons of mathematics : an exploration of twenty key images
- Identity of proofs
- Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
- Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
- Lectures on the Curry-Howard isomorphism
- Logic for concurrency and synchronisation
- Logic in algebraic form. : Three languages and theories
- Logic, proof, and sets
- Mathematical proofs : a transition to advanced mathematics
- Mathematische grundlagenforschung : intuitionismus, beweistheorie
- Memoirs of a proof theorist : Gödel and other logicians
- Metamathematical investigation of intuitionistic arithmetic and analysis
- Metamathematical investigation of intuitionistic arithmetic and analysis
- Methods of cut-elimination
- On the shape of mathematical arguments
- On the shape of mathematical arguments
- Problems and proofs in numbers and algebra
- Proof methods for modal and intuitionistic logics
- Proof theory
- Proof theory
- Proof theory : an introduction
- Proof theory : an introduction
- Proof theory : the first step into impredicativity
- Proof theory and intuitionistic systems
- Proof theory and intuitionistic systems
- Proof theory for fuzzy logics
- Proof, logic, and formalization
- Proofs and fundamentals : a first course in abstract mathematics
- Proofs and types
- Provability, complexity, grammars
- Reductive logic and proof-search : proof theory, semantics, and control
- Set theory : Boolean-valued models and independence proofs
- Tableau systems for first order number theory and certain higher order theories
- Tableau systems for first order number theory and certain higher order theories
- The algebra of proofs
- The art of proof : basic training for deeper mathematics
- The dynamics of judicial proof : computation, logic, and common sense
- The elementary theory of groups : a guide through the proofs of the Tarski conjectures
- The incompleteness phenomenon : a new course in mathematical logic
- The logic of provability
- The power of interaction
- The proof is in the pudding : the changing nature of mathematical proof
- The proof is in the pudding : the changing nature of mathematical proof
- Thirty-five years of automating mathematics
- Tracking reason : proof, consequence, and truth
- Utilizing problem structure in planning : a local search approach
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.library.missouri.edu/resource/gQsvt7WiUd4/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.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.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri 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.library.missouri.edu/resource/gQsvt7WiUd4/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.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.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
