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
|