From symbolic logic ... to mathematical logic - Silver, Charles L. (Dubuque, Iowa Wm. C. Brown Pub., 1994)
Keywords: Logic, Symbolic and mathematical