---

＜図書＞
Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990 / edited by Peter Aczel, Harold Simmons and Stanley S. Wainer.

出版者	Cambridge, England : Cambridge University Press
出版年	c1992.
大きさ	x, 306 p. ; 24 cm.
著者標目	Aczel, Peter, 1941- Simmons, Harold Wainer, Stanley S.
件　名	Proof theory
一般注記	""presented at an international Summer School and Conference on Proof Theory held at Bodington Hall, Leeds University between 24th July and 2nd August 1990.""---p. vii.

 類似資料