城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: Intuitionistic mathematics Congresses)
該当件数:3件
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
Amsterdam ; New York : North-Holland Pub. Co.. - New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1980. - (Studies in logic and the foundations of mathematics ; v. 101)
図書
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)
Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman.
873. - Berlin : Springer , 1981. - (Lecture notes in mathematics ; 873)