Mathematical Logic

图书标准信息

• 作者 Stephen Kleene 著
• 出版社 Dover Publications
• 出版时间 2002-12
• 版次 1
• ISBN 9780486425337
• 定价 213.10元
• 装帧 平装
• 开本 其他
• 纸张 其他
• 页数 416页
• 正文语种 英语
• 丛书 Dover Books on Mathematics

【内容简介】

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.