Research Catalog

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

Title: Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990 / edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer.
Publication: Cambridge ; New York, NY : Cambridge University Press, 1992.

Filter by

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 93-1535	Offsite

Additional Authors

Description

x, 306 p.; 24 cm.

Subject

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)

Call Number

JSE 93-1535

ISBN

052141413X

OCLC

Title

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

Imprint

Cambridge ; New York, NY : Cambridge University Press, 1992.

Bibliography

Includes bibliographical references.

Added Author

Aczel, Peter, 1941-

Simmons, Harold.

Wainer, S. S.

University of Leeds.

Research Call Number

JSE 93-1535