このページのリンク

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

所蔵情報を非表示

科学文化論(品)
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

 類似資料