城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Latin-American Symposium on Mathematical Logic)
該当件数:4件
Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 / edited by C.A. Di Prisco.
1130. - Berlin : Springer , c1985.. - (Lecture notes in mathematics ; 1130)
図書
Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogota / edited by Xavier Caicedo, Carlos H. Montenegro.
New York : Marcel Dekker , c1999. - (Lecture notes in pure and applied mathematics)
Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 / edited by A. I. Arruda, R. Chuaqui, N. C. A. da Costa.
v. 99. - Amsterdam : North-Holland , 1980. - New York : Elsevier North-Holland , 1980. - (Studies in logic and the foundations of mathematics ; v. 99)
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)