A course in mathematical logic - Bell, J. L. (John Lane) (North-Holland Pub. Co ;, sole distributors for the U.S.A. and Canada American Elsevier Pub. Co., 1977)