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

Contributor(s):

Publication details: Cambridge Cambridge University Press 1992Description: x, 306 p. ; 24 cmISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	511.3 ACZ (Browse shelf(Opens below))	Available		239079

Includes bibliographical references

There are no comments on this title.

to post a comment.

Find us on the map