Handbook of mathematical logic - Barwise, Jon, (North-Holland Pub. Co., 1977)