Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990 /

Bibliographic Details

Other Authors:	Aczel, Peter, 1941-, Simmons, Harold, Wainer, S. S.
Format:	Book
Language:	English
Published:	Cambridge [England] ; New York : Cambridge University Press, 1992.
Subjects:	Proof theory.