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

種類:

図書

責任表示:

edited by Peter Aczel, Harold Simmons and Stanley S. Wainer

出版情報:

Cambridge : Cambridge University Press, 1992

著者名:

• Aczel, Peter
• Simmons, Harold
• Wainer, Stanley S.

ISBN:

9780521414135 [052141413X]    

注記:

'Papers presented at an internationsl Summer School and Conference on Proof Theory held at Bodington Hall, Leeds University between 24th July and 2nd August 1990'--Pref
'The meeting was held under the auspices of the 'Logic for Information Tecnology' (Logfit)'--Pref
Includes bibliographical references