[PRL] good resources on logic

Felix S Klock II pnkfelix at ccs.neu.edu
Fri May 27 09:10:30 EDT 2005

On May 26, 2005, at 11:14 PM, Dave Herman wrote:

> What are people's favorite resources (books, articles, web sites,  
> whatever) on logic? I don't mind if it's elementary -- I've never  
> had a good logic course.

Will Clinger lent me copies of several books on logic and  
metamathematics.  Of them, I found "Computability and Logic" by  
Boolos and Jeffrey to be the most enlightening (the others were  
shorter, but seemed to spend too much time covering material that I  
felt I already had a handle on, like the halting problem):


Also, I recently started looking at "Logic, Logic, and Logic" by  
Boolos again, and its really helping me to better understand some of  
my own misgivings about the fundamentals (e.g. it has an essay  
discussing whether we should be accepting ZF(C) at face value).


Finally, I also have a copy of "From Frege to Godel", which I have  
found quite fascinating from a historical standpoint.  It is  
incredibly difficult to read, if only because in reading it one must  
sacrifice many of the modern notational conventions.  Still, there's  
nothing quite like reading (translations of) the original source  
texts by Peano, Russell, and others.



More information about the PRL mailing list