Sets,models and recursions theory - Crossley John N (Amsterdam North-Holland, 1967)
Keywords: Mathematical logic; Model theory; Set theory