Disambiguation evidence for proof theory via surface form

"proof theory"

Triples (2)

Triples where some other subject referred to this entity as "proof theory".

Per Martin-Löf → areaOfInfluence →
"proof theory"
↳ resolves to proof theory
ⓘ
Brouwer–Heyting–Kolmogorov interpretation → field →
"proof theory"
↳ resolves to proof theory
ⓘ