Proof theory
Resource Information
The concept Proof theory represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
The Resource
Proof theory
Resource Information
The concept Proof theory represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
- Label
- Proof theory
- Authority link
-
- (uri) http://id.loc.gov/authorities/subjects/sh85107437
- (uri) http://id.worldcat.org/fast/fst01078942
15 Items that share the Concept Proof theory
Context
Context of Proof theorySubject of
No resources found
No enriched resources found
- A framework for priority arguments
- A reply to David Stove's ʻRationality of inductionʼ
- Algebra of proofs
- Arithmetic, proof theory, and computational complexity
- Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics
- Basic proof theory
- Beweistheorie
- Hybrid logic and its proof-theory
- Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
- Logic in algebraic form. : Three languages and theories
- On the shape of mathematical arguments
- Proof theory : an introduction
- Proofs and types
- What's the use of mathematics?
- Why is there philosophy of mathematics at all?
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.bu.edu/resource/JpsXo0bUEOI/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/JpsXo0bUEOI/">Proof theory</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University 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.bu.edu/resource/JpsXo0bUEOI/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/JpsXo0bUEOI/">Proof theory</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
