Handbook of mathematical logic. - Barwise Jon Ed. (Oxford North Holland, 1977)