TY - BOOK AU - Robinson,Abraham TI - Complete theories U1 - 164 PY - 1956/// CY - Amsterdam PB - North-Holland KW - Algebra KW - Logic, Symbolic and mathematical N1 - Bibliography: p. 126-127 ER -