Izdaja: Leeds Proof Theory Programme