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

Email RIS file
Bookmark
Report an Issue

Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990 / edited by Peter Aczel, Harold Simmons and Stanley S. Wainer

Published
Cambridge [England] ; New York, NY : Cambridge University Press, 1992.
Physical Description
x, 306 pages ; 24 cm
Additional Creators
Aczel, Peter, 1941-, Simmons, Harold, Wainer, S. S., and University of Leeds

Availability

Browse Nearby on Shelf
I Want It
I Want It

Finding items...

Subject(s)
ISBN
052141413X
Note
"Papers presented at an international Summer School and Conference on Proof Theory held at ... Leeds University between 24th July and 2nd August 1990"--Pref.
Bibliography Note
Includes bibliographical references.
View MARC record | catkey: 1996142