Mathematical Logic

Mathematical Logic
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者:
出版社: Dover Publications
2002-12
版次: 1
ISBN: 9780486425337
定价: 213.10
装帧: 平装
开本: 其他
纸张: 其他
页数: 416页
正文语种: 英语
3人买过
  • 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.
  • 内容简介:
    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.
查看详情
系列丛书 / 更多
Mathematical Logic
Basic Algebra I:Second Edition
Nathan Jacobson 著
Mathematical Logic
One, Two, Three...Infinity:Facts and Speculations of Science
George Gamow 著
Mathematical Logic
Basic Algebra II:Second Edition
Nathan Jacobson 著
Mathematical Logic
Dynamic Optimization, 2nd Edition
Morton I. Kamien 著
Mathematical Logic
The Thirteen Books of Euclid's Elements, Books 1 and 2
Euclid 著;Sir Thomas Heath 编
Mathematical Logic
Mathematics for the Nonmathematician
Morris Kline 著
Mathematical Logic
Calculus of Variations
I. M. Gelfand 著
Mathematical Logic
The Thirteen Books of the Elements (Euclid, Vol. 2--Books III-IX):Books of Euclids Elements
Euclid 著;Thomas L.Heath 编
Mathematical Logic
Complex Variables,2nd Edition(Dover Books on Mathematics)
Stephen D.Fisher 著
Mathematical Logic
A Book of Abstract Algebra(second edition):Second Edition
Charles C. Pinter 著
Mathematical Logic
Ordinary Differential Equations
Morris、Harry Pollard 著
Mathematical Logic
Elements of the Theory of Functions and Functional Analysis
A.N.Kolmogorov、S.V.Fomin 著
相关图书 / 更多
Mathematical Logic
MathematicalAspectsofQuantumFieldTheory(CambridgeStudiesinAdvancedMathematics)
Edson de Faria、Welington de Melo 著
Mathematical Logic
MathematicalIdeas
Charles David Miller 著
Mathematical Logic
Mathematical Methods in Elasticity Imaging
Ammari, Habib,Bretin, Elie,Garnier, Josselin
Mathematical Logic
MathematicalHandbookforScientistsandEngineers
Granino Arthur Korn 著
Mathematical Logic
MathematicalToolsforPhysics
James Nearing 著
Mathematical Logic
MathematicalFinance:DeterministicandStochasticModels(ISTE)
Jacques Janssen、Raimondo Manca、Ernesto Volpe 著
Mathematical Logic
MathematicalModelsinBiology(ClassicsinAppliedMathematics)
Leah Edelstein-Keshet 著
Mathematical Logic
Mathematical Statistics: Asymptotic Minimax Theory
Alexander Korostelev;Olga Korosteleva
Mathematical Logic
MathematicalStatisticswithResamplingandR
Laura M. Chihara、Tim C. Hesterberg 著
Mathematical Logic
Mathematical Amazements and Surprises Fascinati
Alfred S. Posamentier、Ingmar Lehmann、Herbert A. Hauptman 著
Mathematical Logic
MathematicalStudiesfortheIbDiploma:StandardandHigherLevel
Scott Genzer 著
Mathematical Logic
Mathematical Models in Biology:Bringing Mathematics to Life
Zazzu, Valeria, Ferraro, Maria Brigida, Guarracino, Mario R.
您可能感兴趣 / 更多
Mathematical Logic
卡尺校验的运动学对线全膝关节置换术——原理、手术技术与应用前景
Stephen;M.Howell
Mathematical Logic
量子信息 香农信息科学经典
Stephen Barnett 著
Mathematical Logic
AO足踝骨折治疗原则
Stefan Rammelt Michael Swords Mandeep S Dhillon Andrew K Sands
Mathematical Logic
互联网与民主
Stephen Coleman
Mathematical Logic
花园不是一天建成的
Stewart 著;吴湛 译;[美]艾米·斯图尔特(Amy
Mathematical Logic
你好!德语(视频版)(A1)(练习手册)
Stefanie Dengler
Mathematical Logic
你好!德语(视频版)(A1)(学生用书)
Stefanie Dengler
Mathematical Logic
复变量导引(影印版)
Steven G. Krantz
Mathematical Logic
泛函分析导引(影印版)
Steven G. Krantz
Mathematical Logic
调和分析概览(影印版)
Steven G. Krantz
Mathematical Logic
AO骨感染治疗原则
Stephen L Kates 主编;Olivier Borens
Mathematical Logic
国际关系(第三版)
Stephanie Lawson