| | | Document Type | : | BL | | Record Number | : | 105607 | | Doc. No | : | b63156 | | Main Entry | : | Leeds Proof Theory Programme(1990 :, Leeds University) | | Title & Author | : | Proof theory :a selection of papers from the Leeds Proof Theory Programme, 1990 /edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer. | | Publication Statement | : | Cambridge ;New York :Cambridge University Press,1992. | | Page. NO | : | x, 306 p. ;24 cm. | | ISBN | : | 052141413X (hardcover) | | Bibliographies/Indexes | : | Includes bibliographical references. | | Subject | : | Proof theory. | | Dewey Classification | : | 511.3 | | LC Classification | : | QA9.54.L44 1990 | | Added Entry | : | Aczel, Peter,1941- | | | Simmons, Harold. | | | Wainer, S. S. |
| | | | | |
| | |  |
http://lib.clisel.com/site/catalogue/105607
| | | |
| | | |
|