城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Carnielli Walter A.)
該当件数:3件
Paraconsistency : the logical way to the inconsistent : proceedings of the world congress held in São Paulo / edited by Walter A. Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano
New York : M. Dekker , c2002. - (Lecture notes in pure and applied mathematics ; 228)
図書
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors.
online. - Providence, RI : American Mathematical Society , 1999. - (Contemporary Mathematics ; v. 235)
電子ブック
Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / Walter A. Carnielli and Luiz Paulo de Alcantara, editors.
online. - Providence, R.I. : American Mathematical Society , c1988. - (Contemporary Mathematics ; v. 69)