Mathematical Logic

Mathematical Logic
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者:
出版社: Dover Publications
2002-12
版次: 1
ISBN: 9780486425337
定价: 213.10
装帧: 平装
开本: 其他
纸张: 其他
页数: 416页
正文语种: 英语
  • 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
Basic Algebra II:Second Edition
Nathan Jacobson 著
Mathematical Logic
Introduction to Topology:Third Edition
Bert Mendelson 著
Mathematical Logic
Calculus:An Intuitive and Physical Approach
Morris Kline 著
Mathematical Logic
The Thirteen Books of Euclid's Elements, Books 1 and 2
Euclid 著;Sir Thomas Heath 编
Mathematical Logic
The Thirteen Books of the Elements (Euclid, Vol. 2--Books III-IX):Books of Euclids Elements
Euclid 著;Thomas L.Heath 编
Mathematical Logic
Mathematics for the Nonmathematician
Morris Kline 著
Mathematical Logic
A Book of Abstract Algebra(second edition):Second Edition
Charles C. Pinter 著
Mathematical Logic
Ordinary Differential Equations
Morris、Harry Pollard 著
Mathematical Logic
Fifty Challenging Problems in Probability with Solutions
Frederick Mosteller 著
Mathematical Logic
One, Two, Three...Infinity:Facts and Speculations of Science
George Gamow 著
Mathematical Logic
Elementary Real and Complex Analysis(Dover Books on Mathematics)
Georgi E.Shilov 著
相关图书 / 更多
Mathematical Logic
Mathematical Logic:A course with exercises -- Part I -- Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Daniel Lascar 著;Donald 译;Rene Cori;Pelletier
Mathematical Logic
MathematicalAnalysisofEvolution,Information,andComplexity
Wolfgang Arendt、Wolfgang P. Schleich 编
Mathematical Logic
MathematicalEpidemiologyofInfectiousDiseases:ModelBuilding,AnalysisandInterpretation
O. Diekmann、J. A. P. Heesterbeek 著
Mathematical Logic
MathematicalAnalysisofPhysicalProblems
Philip R. Wallace 著
Mathematical Logic
Mathematical Methods in Elasticity Imaging
Ammari, Habib,Bretin, Elie,Garnier, Josselin
Mathematical Logic
MathematicalAnalysis:AConciseIntroduction
Bernd S. W. Schr.der 著
Mathematical Logic
MathematicalMethodsforthePhysicalSciences
K. F. Riley 著
Mathematical Logic
MathematicalToolsforPhysicists
George L. Trigg 著;George L. Trigg 编
Mathematical Logic
Mathematical Puzzles: A Connoisseur's Collection
Peter Winkler 著
Mathematical Logic
MathematicalStudiesfortheIbDiploma:StandardandHigherLevel
Scott Genzer 著
Mathematical Logic
MathematicalModelsofFluidDynamics:Modelling,Theory,BasicNumericalFacts-AnIntroduction
Rainer Ansorge、Thomas Sonar 著
Mathematical Logic
MathematicalEcologyofPopulationsandEcosystems
John Pastor 著
您可能感兴趣 / 更多
Mathematical Logic
开心学德语(青少版)(B1)(练习手册)
Stefanie Dengler;Sarah Fleer;Paul Rusch;Cordula
Mathematical Logic
开心学德语(青少版)(B1)(教师手册)
Stefanie Dengler;Paul Rusch;Cordula Schurig
Mathematical Logic
开心学德语(青少版)(B1)(学生用书)(附单词手册)
Stefanie Dengler;Sarah Fleer;Paul Rusch;Cordula
Mathematical Logic
哈佛数学150年(1825–1975)
Steve、Nadis、丘成桐、赵 著
Mathematical Logic
演讲的艺术(第十三版-中国版)(英文版)
Stephen E. Lucas
Mathematical Logic
镇痛注射技术图解(第5版)
Stephanie Saunders著 傅志俭 译
Mathematical Logic
复分析:几何观点,第二版(影印版)
Steven G. Krantz
Mathematical Logic
如何独立思考
Steven Novella
Mathematical Logic
开心学德语(青少版)(A2)(练习手册)
Stefanie Dengler;Sarah Fleer
Mathematical Logic
开心学德语(青少版)(A2)(学生用书)(附单词手册)
Stefanie Dengler;Sarah Fleer;Paul Rusch;Cordula
Mathematical Logic
公路车辆-桥梁耦合振动的数值模拟与应用(英文版)Highway Vehicle-Bridge Coupled Vibrations: Numerical Sim
Steve C. S. Cai(蔡春声)
Mathematical Logic
达芬奇的贝壳山和沃尔姆斯会议(自然文库)
Stephen Jay Gould