Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Standard classification: QA10)
Results:4items
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)
Books
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)