Handbook of mathematical logic / - Barwise, Jon.; Keisler, H. Jerome. (North-Holland Pub. Co.,, 1977)