I'm drawing largely from J. Barkley Rosser's definitive text "Logic for Mathematicians" (2nd ed., pub. 1978). Rosser was a prof. of math at Cornell. Anyone actually met the old guy (b. 1907)? Rosser covers most of the still-relevent material from Whitehead and Russell's "Principia Mathematica" in one volume, using modern notation. That's quite a feat. The text comes recommended by F.G. Asenjo, whose "In-Between (Current Continental Research, No 211) " (1988) discusses "categories." If ANYONE has read this, let me know. It's only $20 in paperback from Amazon. Dr. Asenjo is (was?) a kindly old professor of mathematics (specializing in logic) at the U. of Pgh. I managed to take two courses from him while I was at Pitt. In my experience, no one has come CLOSE to explaining the finesses of rigorous thinking as well as he did.
Amazon tells me "Logic for Mathematicians" is out of print, while Barnes and Noble doesn't recognize that it ever existed. I'd say that's one point for Amazon. A dear friend of mine pointed out that it's available at the Advanced Book Exchange.
I'll put this site up one piece at a time, mostly on weekends, so if slow-paced development doesn't suit you, you'll need to look elsewhere (maybe to one of those "professional thinkers"--you know who you are!).
With that said, let's jump straight to Chapter III, "THE USE OF NAMES"
If you have comments or suggestions, email me at firstname.lastname@example.org
INDEX to a few of Fred's pages