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:
BookPublisher: Cambridge: Cambridge University Press, 1992Description: x, 306 p.; : 23 cm.ISBN: 0521054168 .Subject(s): Proof theoryDDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 ACZ (Browse shelf) | Available | 019780 |
There are no comments for this item.