Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Standard classification: 511.3/24)
Results:3items
Semigroups underlying first-order logic / William Craig
Providence, R.I. : American Mathematical Society , c2006. - (Memoirs of the American Mathematical Society ; no. 866)
Books
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)