"Proof Theory"

E1884693 UNEXPLORED

"Proof Theory" is a foundational work in mathematical logic that systematically develops the study of formal proofs, particularly in relation to consistency and ordinal analysis.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
"Proof Theory" canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Gaisi Takeuti → notableWork → "Proof Theory" ⓘ