textbook "Proof Theory"

E1884692 UNEXPLORED

The textbook "Proof Theory" is a foundational work in mathematical logic that systematically develops the proof-theoretic analysis of formal systems, particularly ordinal analysis and consistency proofs.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
textbook "Proof Theory" canonical	1

Referenced by (1)

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

Gaisi Takeuti → knownFor → textbook "Proof Theory" ⓘ