城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Troelstra A. S.)
該当件数:5件
Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra.
Oxford, England : Clarendon Press , 1977. - (Oxford logic guides)
図書
Principles of intuitionism / {By} A. S. Troelstra.
95. - Berlin : Springer , 1969. - (Lecture notes in mathematics ; 95)
Metamathematical investigation of intuitionistic arithmetic and analysis / {by} A. S. Troelstra (ed.).
344. - Berlin : Springer , 1973. - (Lecture notes in mathematics ; 344)
Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen.
v. 121, 123. - Amsterdam : North-Holland , 1988. - (Studies in logic and the foundations of mathematics ; "v. 121, 123")
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)