Explore relationships

Proof-theoretic

Proof theory is a major branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects, facilitating their analysis by mathematical techniques.

Use + to expand a branch. Click a topic name to open its summary.