城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(書名(完全形): Studies in logic and the foundations of mathematics)
該当件数:117件
Studies in logic and the foundations of mathematics
Amsterdam ; Tokyo : North-Holland
図書
Descriptive set theory / Yiannis N. Moschovakis.
v. 100. - Amsterdam : North-Holland , c1980.. - New York : Elsevier-North Holland , c1980.. - (Studies in logic and the foundations of mathematics ; v. 100)
Logic Colloquim '86 / ed. by F.R. Drake and J.K. Truss.
124. - Amsterdam : North-Holland , 1988. - (Studies in logic and the foundations of mathematics ; 124)
Proof theory / Gaisi Takeuti.
v. 81. - 2nd ed.. - Amsterdam : North-Holland , 1987. - New York : Elsevier Science Pub. Co. , 1987. - (Studies in logic and the foundations of mathematics ; v. 81)
Equivalents of the axiom of choice, II / Herman Rubin and Jean E. Rubin.
v. 116. - Amsterdam : North-Holland , 1985. - New York : Elsevier Science Pub. Co. , 1985. - (Studies in logic and the foundations of mathematics ; v. 116)
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)
Cylindric algebras.. 2 / {By} Leon Henkin, J. Donald Monk {and} Alfred Tarski.
v. 115. - Amsterdam : North-Holland , c1985.. - (Studies in logic and the foundations of mathematics ; v. 115)
Theory of relations / R. Fraisse ; {translated by P. Clote}.
v. 118. - Amsterdam : North-Holland , 1986. - New York : Elsevier Science Pub. Co. , 1986. - (Studies in logic and the foundations of mathematics ; v. 118)
Harvey Friedman's research on the foundations of mathematics / edited by L.A. Harrington ... {et al.}.
v. 117. - Amsterdam : North-Holland , c1985.. - New York : Elsevier Science Pub. Co. , c1985.. - (Studies in logic and the foundations of mathematics ; v. 117)
Foundations of infinitesimal stochastic analysis / K.D. Stroyan and Jose Manuel Bayod.
v. 119. - Amsterdam : North-Holland , 1986. - New York : Elsevier Pub. Co. , 1986. - (Studies in logic and the foundations of mathematics ; v. 119)
Logic Colloquium '81 / Ed. by J. Stern.
vol. 107. - Amsterdam : North-Holland , 1982. - (Studies in logic and the foundations of mathematics ; vol. 107)
Fundamentals of generalized recursion theory / Melvin Fitting
Amsterdam ; New York : North-Holland Pub. Co.. - New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland , c1981. - (Studies in logic and the foundations of mathematics ; v. 105)
Introduction to the theory of finite automata / {by} N.E. Kobrinskii and B.A. Trakhtenbrot. Translated from the Russian. Translation edited by J.C. Shepherdson.
Amsterdam : North-Holland , 1965. - (Studies in logic and the foundations of mathematics)
Many-valued logics / [by] J. Barkley Rosser [and] Atwell R. Turquette
Amsterdam : North-Holland Pub. Co. , 1952. - (Studies in logic and the foundations of mathematics)
Mathematical interpretation of formal systems / {by} Th. Skolem {and others}.
Amsterdam : North-Holland , 1955. - (Studies in logic and the foundations of mathematics)
Axiomatic set theory / With a historical introd. by Abraham A. Fraenkel.
Amsterdam : North-Holland , 1958. - (Studies in logic and the foundations of mathematics)
Ancient formal logic
Amsterdam : North-Holland , 1963. - (Studies in logic and the foundations of mathematics)
Computer programming and formal systems / Edited by P. Braffort and D. Hirschberg.
Foundations of set theory / {by} Abraham A. Fraenkel and Yehoshua Bar-Hillel.
Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
Amsterdam : North-Holland , 1964. - (Studies in logic and the foundations of mathematics)