このページのリンク

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
書誌ID 1000011554

所蔵情報を非表示

2F・開架図書 Germany 410.96||BM 219940004410

3540121730

書誌詳細を非表示

一般注記 Bibliography: p. [439]-449
Includes indexes
著者標目 *Beeson, Michael J., 1945-
件 名 LCSH:Constructive mathematics
NDLSH:記号論理学
分 類 LCC:QA9.56
DC19:511.3
NDC8:410.96
NDC7:410.12
ISBN 0387121730
NCID BA00496985

 類似資料