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

Previous	No cover image available		No cover image available				No cover image available	Next
Previous	511.22 DUM Elements of intuitionism	511.22 MIN A short introduction to intuitionistic logic	511.22 ZHA Automated mathematical induction	511.3 ACZ Proof theory : a selection of papers from the Leeds Proof theory programme, 1990	511.3 ADA A primer of probability logic	511.3 ALL Numbers and proofs	511.3 ALL Logical reasoning with diagrams	Next

Includes bibliographical references

There are no comments on this title.

to post a comment.

Back to results

Find us on the map