computability and logic (5ed,cambridge,2007)

《computability and logic (5ed,cambridge,2007)》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、P1:FhNCY186-FMCB421-BoolosJuly15,20073:5CharCount=0ThispageintentionallyleftblankP1:FhNCY186-FMCB421-BoolosJuly15,20073:5CharCount=0ComputabilityandLogic,FifthEditionComputabilityandLogichasbecomeaclassicbecauseofitsaccessibilitytostudentswith-outamathematical

2、backgroundandbecauseitcoversnotsimplythestapletopicsofanintermediatelogiccourse,suchasG¨odel’sincompletenesstheorems,butalsoalargenum-berofoptionaltopics,fromTuring’stheoryofcomputabilitytoRamsey’stheorem.ThisfiftheditionhasbeenthoroughlyrevisedbyJohnP.Burgess.

3、Includingaselectionofexercises,adjustedforthisedition,attheendofeachchapter,itoffersanewandsimplertreatmentoftherepresentabilityofrecursivefunctions,atraditionalstumblingblockforstudentsonthewaytotheG¨odelincompletenesstheorems.Thisneweditionisalsoaccompaniedb

4、yaWebsiteaswellasaninstructor’smanual.“[Thisbook]givesanexcellentcoverageofthefundamentaltheoreticalresultsaboutlogicinvolvingcomputability,undecidability,axiomatization,definability,incompleteness,andsoon.”–AmericanMathMonthly“Thewritingstyleisexcellent:Althou

5、ghmanyexplanationsareformal,theyareperfectlyclear.Modern,elegantproofshelpthereaderunderstandtheclassictheoremsandkeepthebooktoareasonablelength.”–ComputingReviews“Avaluableassettothosewhowanttoenhancetheirknowledgeandstrengthentheirideasintheareasofartificiali

6、ntelligence,philosophy,theoryofcomputing,discretestructures,andmathematicallogic.Itisalsousefultoteachersforimprovingtheirteachingstyleinthesesubjects.”–ComputerEngineeringiP1:FhNCY186-FMCB421-BoolosJuly15,20073:5CharCount=0iiP1:FhNCY186-FMCB421-BoolosJuly15,2

7、0073:5CharCount=0ComputabilityandLogicFifthEditionGEORGES.BOOLOSJOHNP.BURGESSPrincetonUniversityRICHARDC.JEFFREYiiiCAMBRIDGEUNIVERSITYPRESSCambridge,NewYork,Melbourne,Madrid,CapeTown,Singapore,SãoPauloCambridgeUniversityPressTheEdinburghBuilding,CambridgeCB28R

8、U,UKPublishedintheUnitedStatesofAmericabyCambridgeUniversityPress,NewYorkwww.cambridge.orgInformationonthistitle:www.cambridge.org/9780521877527©GeorgeS.Boolos,JohnP.Burgess,Richar