Project

BOF-TT-professorship in Logic, Proof theory