Mathematical Logic

数理逻辑

168 7.9折 213.1 九五品

仅1件

湖北武汉

认证卖家担保交易快速发货售后保障

作者Stephen Kleene 著

出版社Dover Publications

出版时间2002-12

版次1

装帧平装

上书时间2019-12-04

已实名进店收藏店铺

【内容简介】: Undergraduatestudentswithnopriorclassroominstructioninmathematicallogicwillbenefitfromthisevenhandedmultiparttext.Itbeginswithanelementarybutthoroughoverviewofmathematicallogicoffirstorder.Thetreatmentextendsbeyondasinglemethodofformulatinglogictoofferinstructioninavarietyoftechniques:modeltheory(truthtables),Hilbert-typeprooftheory,andprooftheoryhandledthroughderivedrules.
Thesecondpartsupplementsthepreviouslydiscussedmaterialandintroducessomeofthenewerideasandthemoreprofoundresultsoftwentieth-centurylogicalresearch.Subsequentchaptersexplorethestudyofformalnumbertheory,withsurveysofthefamousincompletenessandundecidabilityresultsofGodel,Church,Turing,andothers.Theemphasisinthefinalchapterrevertstologic,withexaminationsofGodel'scompletenesstheorem,Gentzen'stheorem,Skolem'sparadoxandnonstandardmodelsofarithmetic,andothertheorems.Theauthor,StephenColeKleene,wasCyrusC.MacDuffeeProfessorofMathematicsattheUniversityofWisconsin,Madison.Preface.Bibliography.TheoremandLemmaNumbers:Pages.ListofPostulates.SymbolsandNotations.

点击展开点击收起