このページのリンク

<図書>
Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson
(Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3 . Folge ; Bd. 6)

出版者 Berlin ; New York : Springer-Verlag
出版年 c1985
本文言語 英語
大きさ xxiii, 466 p. ; 25 cm
著者標目 *Beeson, Michael J., 1945-
件 名 LCSH:Constructive mathematics
NDLSH:記号論理学
一般注記 Bibliography: p. [439]-449
Includes indexes
目次/あらすじ

所蔵情報を非表示

数学図書室(図書) 図書 U.S. 410.96//B32
0387121730


0085045364

書誌詳細を非表示

データ種別 図書
分 類 LCC:QA9.56
DC19:511.3
NDC8:410.96
NDC7:410.12
書誌ID 1000012532
ISBN 0387121730
NCID BA00496985

 類似資料