proof theory
noun
the branch of logic that studies the syntactic properties of formal theories, esp the syntactic characterization of deductive validity
Words nearby proof theory
proof of the pudding,
proof of the pudding, the,
proof sheet,
proof spirit,
proof stress,
proof theory,
proof-of-purchase,
proofing,
proofread,
prootic,
prop