From symbolic logic ... to mathematical logic - Silver, Charles L. (Wm. C. Brown Pub., 1994)