Alonzo Church anyone?

[JesseLevermore]

I am looking to buy a book on logic right now, and wondering if anyone can give any insight on the works of Alonzo Church(namely his Intro to math logic text). I know he has done a lot for theoretical comp sci and logic but are his books worth reading for contemporary relevant subjects in the topic?

I also don't have any in depth knowledge of logic but just wanted an interesting(rigorous) read.

 

[Daniel Duffy]

AC is the founder of the lambda calculus in functional programminng. This is making its way into C#, F# and C++ languages.

So, in general, I think this is an important development.

 

[JesseLevermore]

Ya I guess I was looking for any reason to purchase it anyway, but these book prices are really going skyward. With the surge in ereader sales shouldn't be long before pdf's are the new mp3's.

Thanks for the push =)

 

[Daniel Duffy]

I am no better than anyone else at prediction, but FP has a chance of becoming a dominant programming paradigm in the future.