城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Logic Colloquium)
該当件数:14件
Logic Colloquium : symposium on logic held at Boston, 1972-73 / edited by R. Parikh.
453. - Berlin : Springer , 1975. - (Lecture notes in mathematics ; 453)
図書
Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995
: Springer , 1998
電子ブック
Logic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985 / edited by the Paris Logic Group.
v. 122. - Amsterdam : North-Holland , 1987. - New York : Elsevier Science Pub. Co. , 1987. - (Studies in logic and the foundations of mathematics ; v. 122)
Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 / edited by R. O. Gandy, J. M. E. Hyland.
v. 87. - Amsterdam : North-Holland , 1977. - New York : Elsevier North-Holland , 1977. - (Studies in logic and the foundations of mathematics ; v. 87)
Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978 / edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloon.
v. 97. - Amsterdam : North-Holland , 1979. - New York : Elsevier/North-Holland, sole distributors for the U.S.A. and Canada , 1979. - (Studies in logic and the foundations of mathematics ; v. 97)
Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F.R. Drake and S.S. Wainer.
45. - Cambridge, England : Cambridge University Press , 1980. - (London Mathematical Society lecture note series ; 45)
Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 / editors, J.B. Paris, A.J. Wilkie, G.M. Wilmers.
v. 120. - Amsterdam : North-Holland , 1986. - New York : Elsevier Science Pub. Co. , 1986. - (Studies in logic and the foundations of mathematics ; v. 120)
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)
Logic Colloquium '77 : proceedings of the colloquium held in Wroclaw, August 1977 / edited by Angus Macintyre, Leszek Pacholski, Jeff Paris.
v. 96. - Amsterdam : North-Holland Publishing Company , 1978. - New York : Elsevier North-Holland , 1978. - (Studies in logic and the foundations of mathematics ; v. 96)
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)
Contributions to mathematical logic. Proceedings of the Logic Colloquium, Hannover 1966 / Edited by H. Arnold Schmidt, K. SchN̄tte {and} H.J. Thiele.
Amsterdam : North-Holland , 1968. - (Studies in logic and the foundations of mathematics)
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II / edited by M.M. Richter ... [et al.]
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984. - (Lecture notes in mathematics ; 1104)
Logic Colloquium '69; proceedings of the Summer School and {fourteenth} Colloquium in Mathematical Logic, Manchester, August 1969 / Edited by R.O. Gandy and C.M.E. Yates.
v. 61. - Amsterdam : North-Holland , 1971. - (Studies in logic and the foundations of mathematics ; v. 61)
Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic / edited by D. van Dalen, D. Lascar, T.J. Smiley
Amsterdam ; New York : North-Holland Pub. Co. - New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. , 1982. - (Studies in logic and the foundations of mathematics ; v. 108)