Proof theory
Subtitle: a selection of papers from the Leeds Proof Theory Programme, 1990
By: edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer.
Contributors: Aczel, Peter, 1941-; Simmons, Harold.; Wainer, S. S.
Publisher: Cambridge University Press
Published: 1992
Place of publication: Cambridge; New York
Language: eng
Number of pages: 306
Subjects: Proof theory.
Notes: Includes bibliographical references.