城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #Intuitionistic mathematics)
該当件数:13件
An algebraic and Kripke-style approach to a certain extension of intuitionistic logic / Cecylia Rauszer.
Warszawa : Panstwowe Wydawn. Naukowe , 1980. - Warszawa : {available from Ars Polona} , 1980. - (Dissertationes mathematicae)
図書
Brouwer's Cambridge lectures on intuitionism / edited by D. van Dalen.
Cambridge, England : Cambridge University Press , 1981
Principles of intuitionism / {By} A. S. Troelstra.
95. - Berlin : Springer , 1969. - (Lecture notes in mathematics ; 95)
Semantical investigations in Heyting's intuitionistic logic / Dov M. Gabbay.
v. 148. - Dordrecht, Holland : D. Reidel Pub. Co. , c1981.. - Hingham, MA : distributed in the U.S.A. and Canada by Kluwer Boston , c1981.. - (Synthese library ; v. 148)
Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra.
Oxford, England : Clarendon Press , 1977. - (Oxford logic guides)
The foundations of intuitionistic mathematics, especially in relation to recursive functions / {by} Stephen Cole Kleene {and} Richard Eugene Vesley.
Amsterdam : North-Holland , 1965. - (Studies in logic and the foundations of mathematics)
Proof theory and intuitionistic systems
212. - Berlin : Springer , 1971. - (Lecture notes in mathematics ; 212)
Extensional Godel functional interpretation; a consistency proof of classical analysis
306. - Berlin : Springer , 1973. - (Lecture notes in mathematics ; 306)
Intensional mathematics / edited by Stewart Shapiro.
v. 113. - Amsterdam : North-Holland , 1985. - New York : Elsevier Science Pub. Co. , 1985. - (Studies in logic and the foundations of mathematics ; v. 113)
Metamathematical investigation of intuitionistic arithmetic and analysis / {by} A. S. Troelstra (ed.).
344. - Berlin : Springer , 1973. - (Lecture notes in mathematics ; 344)
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)
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.
v. 101. - Amsterdam : North-Holland , 1980. - New York : 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)