城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: Model theory Congresses)
該当件数:7件
Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I / edited by G.H. Müller and M.M. Richter
: us,: gw. - Berlin ; New York : Springer-Verlag , 1984. - (Lecture notes in mathematics ; 1103)
図書
Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979 / edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie.
834. - Berlin : Springer , 1980. - (Lecture notes in mathematics ; 834)
Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979 / edited by R.B. Jensen and A. Prestel.
872. - Berlin : Springer , 1981. - (Lecture notes in mathematics ; 872)
Set theory and hierarchy theory V : Bierutowice, Poland, 1976 / edited by A. Lachlan, M. Srebrny, and A. Zarach.
619. - Berlin : Springer , 1977. - (Lecture notes in mathematics ; 619)
Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : {proceedings} / edited by W. Marek, M. Srebrny, and A. Zarach.
537. - Berlin : Springer , 1976. - (Lecture notes in mathematics ; 537)
Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 / edited by G. Lolli, G. Longo, and A. Marcja.
v. 112. - Amsterdam : North-Holland , 1984. - New York : Elsevier Science Pub. Co. , 1984. - (Studies in logic and the foundations of mathematics ; v. 112)
Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui.
v. 89. - Amsterdam : North-Holland , 1977. - New York : sale distributors for the U.S.A. and Canada, Elsevier/North-Holland , 1977. - (Studies in logic and the foundations of mathematics ; v. 89)