Tag: proof theory

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.

Intuitionistic Logic Quiz: Test Your Understanding of Intuitionistic Logic and its Principles.