Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990
edited by Peter Aczel, Harold Simmons and Stanley S. Wainer
Bok Engelsk 1992 · Konferanser
| Utgitt | Cambridge : Cambridge University Press , c1992
|
|---|---|
| Omfang | X, 306 s.
|
| Opplysninger | "... Presented at an international Summer School and Conference on Proof Theory held at Boddington Hall, Leeds University between 24th July and 2nd August 1990" - Forordet
|
| Emner | |
| Sjanger | |
| ISBN | 052141413X
|
