资源描述：
《0198529805.Oxford.University.Press.USA.A.First.Course.in.Logic.An.Introduction.to.Model.Theory.Proof.Theory.Computability.and.Complexity.Sep.2004》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、AFirstCourseinLogicThispageintentionallyleftblankAFirstCourseinLogicAnintroductiontomodeltheory,prooftheory,computability,andcomplexitySHAWNHEDMANDepartmentofMathematics,FloridaSouthernCollege13GreatClarendonStreet,OxfordOX26DPOxfordUniversityPressisadepartmentoftheUniversityofOxford.It
2、furtherstheUniversity’sobjectiveofexcellenceinresearch,scholarship,andeducationbypublishingworldwideinOxfordNewYorkAucklandCapeTownDaresSalaamHongKongKarachiKualaLumpurMadridMelbourneMexicoCityNairobiNewDelhiShanghaiTaipeiTorontoWithofficesinArgentinaAustriaBrazilChileCzechRepublicFranceG
3、reeceGuatemalaHungaryItalyJapanPolandPortugalSingaporeSouthKoreaSwitzerlandThailandTurkeyUkraineVietnamOxfordisaregisteredtrademarkofOxfordUniversityPressintheUKandincertainothercountriesPublishedintheUnitedStatesbyOxfordUniversityPressInc.,NewYorkcOxfordUniversityPress2004Themoralrigh
4、tsoftheauthorhavebeenassertedDatabaserightOxfordUniversityPress(maker)Firstpublished2004Reprinted(withcorrections)2006Allrightsreserved.Nopartofthispublicationmaybereproduced,storedinaretrievalsystem,ortransmitted,inanyformorbyanymeans,withoutthepriorpermissioninwritingofOxfordUniversit
5、yPress,orasexpresslypermittedbylaw,orundertermsagreedwiththeappropriatereprographicsrightsorganization.EnquiriesconcerningreproductionoutsidethescopeoftheaboveshouldbesenttotheRightsDepartment,OxfordUniversityPress,attheaddressaboveYoumustnotcirculatethisbookinanyotherbindingorcoverandy
6、oumustimposethesameconditiononanyacquirerAcataloguerecordforthistitleisavailablefromtheBritishLibraryLibraryofCongressCataloginginPublicationDataDataavailableTypesetbyNewgenImagingSystems(P)Ltd.,Chennai,IndiaPrintedinGreatBritainonacid-freepaperbyBiddlesLtd.,King’sLynn,NorfolkISBN0–19–8
7、52980–5(Hbk)ISBN0–19–852981–3(Pbk)1098765432ToJuliaThispageintentionallyleftblankAcknowledgmentsFloridaSouthernCollegeprovidedamostpleasantandhospitablesettingforthewritingofthisbook.Thankstoallofmyfriendsandcolleaguesatthecollege.Inparticular,IthankcolleagueDavidRoseandstudent
