Tag: formalization of proofs

This quiz covers the fundamental concepts and techniques of Proof Theory, a branch of mathematical logic that studies the formalization of mathematical proofs and the properties of deductive systems.