TY - BOOK AU - Robinson Abraham TI - Complete theories U1 - 511.3 PY - 1956/// CY - Amsterdam PB - North-Holland KW - Mathematical logic KW - Model theory ER -