[PRL] good resources on logic

[Felix S Klock II]

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):

http://www.amazon.com/exec/obidos/tg/detail/-/0521007585/ 
qid=1117198897/sr=8-1/ref=sr_8_xs_ap_i1_xgl14/104-6189661-3695104? 
v=glance&s=books&n=507846


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).

http://www.amazon.com/exec/obidos/tg/detail/-/067453767X/ 
qid=1117199045/sr=8-2/ref=sr_8_xs_ap_i1_xgl14/104-6189661-3695104? 
v=glance&s=books&n=507846


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.

http://www.amazon.com/exec/obidos/tg/detail/-/0674324498/ 
ref=pd_sim_b_2/104-6189661-3695104?%5Fencoding=UTF8&v=glance

-Felix