工学部OPAC

ようこそ  ゲスト さん

<図書>

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

所蔵情報を非表示

配架場所 巻 次 請求記号 資料番号 状 態 資料区分 コメント ISBN 刷 年 利用注記
2F 書庫A Germany 417.6||B32 EA0043435 一般図書(外国語) - 図書
0387121730 1985

書誌詳細を非表示

一般注記 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
書誌ID 1000097970
ISBN 0387121730
NCID BA00496985 WCLINK
巻冊次 Germany ; ISBN:0387121730

検索結果一覧に戻る ページトップ