OPAC

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

配架場所	巻　次	請求記号	資料番号	原簿番号	状　態	ISBN	予約	指定図書	仮想書架
科学文化論(品)		413.9/A15	0192044788	9204478					仮想書架		仮想書架

出版情報	Cambridge : Camb. U. P , 1992
大きさ	x,306 p. ; 24 cm
著者標目	Aczel, Peter Simmons, Harold Wainer, Stanley S.
分　類	NDC:410.9
本文言語	英語
書誌ID	TY00001520
NCID	BA19460553