TY - BOOK AU - Crossley John N TI - Sets,models and recursions theory U1 - 511.3 PY - 1967/// CY - Amsterdam PB - North-Holland KW - Mathematical logic KW - Model theory KW - Set theory ER -