城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(標準分類: QA10)
該当件数:4件
Logic in algebraic form : three languages and theories / William Craig
: us,: ne. - Amsterdam : North-Holland Pub. Co.. - New York : American Elsevier Pub. Co. , 1974. - (Studies in logic and the foundations of mathematics ; v. 72)
図書
Semigroups underlying first-order logic / William Craig
Providence, R.I. : American Mathematical Society , c2006. - (Memoirs of the American Mathematical Society ; no. 866)
Algebraizable logics / W.J. Blok and Don Pigozzi
: alk. paper. - Providence, R.I., USA : American Mathematical Society , 1989. - (Memoirs of the American Mathematical Society ; no. 396)
Decision problems for equational theories of relation algebras / Hajnal Andréka, Steven Givant, István Németi
Providence, R.I. : American Mathematical Society , 1997. - (Memoirs of the American Mathematical Society ; no. 604)