城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #Constructive mathematics)
該当件数:13件
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")
図書
Studies in constructive mathematics and mathematical logic / Edited by A. O. Slisenko
New York : Consultants Bureau , 1969-. - (Seminars in mathematics ; v. 4, 8, 16)
Constructive functional analysis / D. S. Bridges.
28. - London : Pitman , 1979. - (Research notes in mathematics ; 28)
Five papers on logic and foundations / by G.S. Ceitin...〓et al.〓
Providence, R.I. : American Mathematical Society , 1972. - (American Mathematical Society translations. Series 2 ; 99)
Constructive continuity / Mark Mandelkern
pbk.. - Providence, R.I. : American Mathematical Society , c1983. - (Memoirs of the American Mathematical Society ; no. 277)
Logical Foundations of Proof Complexity / Stephen Cook, Phuong Nguyen
Cambridge : Cambridge University Press , 2010
電子ブック
ZufC̄lligkeit und Wahrscheinlichkeit; eine algorithmische BegrN̄ndung der Wahrscheinlichkeitstheorie
218. - Berlin : Springer , 1971. - (Lecture notes in mathematics ; 218)
Constructive measure theory / by Errett Bishop and Henry Cheng
[Providence, R.I. : American Mathematical Society , 1972]. - (Memoirs of the American Mathematical Society ; no. 116)
Minimal degrees of unsolvability and the full approximation construction / Richard L. Epstein
Providence : American Mathematical Society , 1975. - (Memoirs of the American Mathematical Society ; no. 162)
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)
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)
Constructibility and mathematical existence / Charles S. Chihara.
Oxford, England : Clarendon Press , c1990.. - New York : Oxford University Press , c1990.
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)