Home UK English proof-theoretic
Of, relating to, or involving proof theory.
1940s; earliest use found in Bulletin Symbolic Logic.
READ THESE ARTICLES