proof theory

branch of mathematical logic