城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(標準分類: QA9.56)
該当件数:2件
The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981 / edited by A.S. Troelstra and D. van Dalen
Amsterdam ; New York : North-Holland. - New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science , 1982. - (Studies in logic and the foundations of mathematics ; v. 110)
図書
Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson
U.S.,Germany. - Berlin ; New York : Springer-Verlag , c1985. - (Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3 . Folge ; Bd. 6)