Leeds Proof Theory Programme (1990 Leeds University)
Books by Leeds Proof Theory Programme (1990 Leeds University) on BookTides.