Normal view MARC view ISBD view

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

By: Aczel, Peter.

Contributor(s): Simmons, Harold | Wainer, Stanley S | Leeds Proof Theory Programme.

Material type: materialTypeLabel

BookPublisher: Cambridge: Cambridge University Press, 1992Description: x, 306 p.; : 23 cm.ISBN: 0521054168 .Subject(s): Proof theoryDDC classification: 511.3

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings ( 1 )
Comments ( 0 )

Item type	Current location	Call number	Status	Date due	Barcode
Books		511.3 ACZ (Browse shelf)	Available		019780

Browsing DAIICT Shelves Close shelf browser

Previous								Next
Previous	511.2 JOR Mathematical techniques : an introduction for the engineering, physical and mathematical sciences	511.2 WIT Remarks on the Foundations of Mathematics	511.3 ABR Handbook of Mathematical functions : with formulas, graphs and Mathematical tables	511.3 ACZ Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990	511.3 ADA Collision-Based Computing	511.3 AMA Elementary course in partial differential equations	511.3 AMA Domains and lambda-calculi	Next

There are no comments for this item.

Koha online

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

By: Aczel, Peter.

Contributor(s): Simmons, Harold | Wainer, Stanley S | Leeds Proof Theory Programme.

Browsing DAIICT Shelves Close shelf browser