Aczel Peter Ed. Proof theory A selection of papers from the Leeds Proof Theory Programme 1990 Aczel Peter Ed. - 1992 Standard No.: 71319 Source: Textual Dewey Class. No.: R14, N2