Model Theory, Third Edition (Dover Books on Mathematics)

Model Theory, Third Edition (Dover Books on Mathematics)
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者:
出版社: Dover Publications
2012-06
版次: 1
ISBN: 9780486488219
定价: 298.50
装帧: 平装
开本: 其他
纸张: 其他
页数: 650页
正文语种: 英语
5人买过
  • Modeltheorydealswithabranchofmathematicallogicshowingconnectionsbetweenaformallanguageanditsinterpretationsormodels.Thisisthefirstandmostsuccessfultextbookinlogicalmodeltheory.Extensivelyupdatedandcorrectedin1990toaccommodatedevelopmentsinmodeltheoreticmethods—includingclassificationtheoryandnonstandardanalysis—thethirdeditionaddedentirelynewsections,exercises,andreferences.
    Eachchapterintroducesanindividualmethodanddiscussesspecificapplications.Basicmethodsofconstructingmodelsincludeconstants,elementarychains,Skolemfunctions,indiscernibles,ultraproducts,andspecialmodels.Thefinalchapterspresentmoreadvancedtopicsthatfeatureacombinationofseveralmethods.Thisclassictreatmentcoversmostaspectsoffirst-ordermodeltheoryandmanyofitsapplicationstoalgebraandsettheory.
  • 内容简介:
    Modeltheorydealswithabranchofmathematicallogicshowingconnectionsbetweenaformallanguageanditsinterpretationsormodels.Thisisthefirstandmostsuccessfultextbookinlogicalmodeltheory.Extensivelyupdatedandcorrectedin1990toaccommodatedevelopmentsinmodeltheoreticmethods—includingclassificationtheoryandnonstandardanalysis—thethirdeditionaddedentirelynewsections,exercises,andreferences.
    Eachchapterintroducesanindividualmethodanddiscussesspecificapplications.Basicmethodsofconstructingmodelsincludeconstants,elementarychains,Skolemfunctions,indiscernibles,ultraproducts,andspecialmodels.Thefinalchapterspresentmoreadvancedtopicsthatfeatureacombinationofseveralmethods.Thisclassictreatmentcoversmostaspectsoffirst-ordermodeltheoryandmanyofitsapplicationstoalgebraandsettheory.
查看详情
系列丛书 / 更多
Model Theory, Third Edition (Dover Books on Mathematics)
Basic Algebra II:Second Edition
Nathan Jacobson 著
Model Theory, Third Edition (Dover Books on Mathematics)
One, Two, Three...Infinity:Facts and Speculations of Science
George Gamow 著
Model Theory, Third Edition (Dover Books on Mathematics)
Basic Algebra I:Second Edition
Nathan Jacobson 著
Model Theory, Third Edition (Dover Books on Mathematics)
Mathematics for the Nonmathematician
Morris Kline 著
Model Theory, Third Edition (Dover Books on Mathematics)
Dynamic Optimization, 2nd Edition
Morton I. Kamien 著
Model Theory, Third Edition (Dover Books on Mathematics)
The Thirteen Books of Euclid's Elements, Books 1 and 2
Euclid 著;Sir Thomas Heath 编
Model Theory, Third Edition (Dover Books on Mathematics)
Calculus of Variations
I. M. Gelfand 著
Model Theory, Third Edition (Dover Books on Mathematics)
The Thirteen Books of the Elements (Euclid, Vol. 2--Books III-IX):Books of Euclids Elements
Euclid 著;Thomas L.Heath 编
Model Theory, Third Edition (Dover Books on Mathematics)
Complex Variables,2nd Edition(Dover Books on Mathematics)
Stephen D.Fisher 著
Model Theory, Third Edition (Dover Books on Mathematics)
A Book of Abstract Algebra(second edition):Second Edition
Charles C. Pinter 著
Model Theory, Third Edition (Dover Books on Mathematics)
Ordinary Differential Equations
Morris、Harry Pollard 著
Model Theory, Third Edition (Dover Books on Mathematics)
Elements of the Theory of Functions and Functional Analysis
A.N.Kolmogorov、S.V.Fomin 著
相关图书 / 更多
Model Theory, Third Edition (Dover Books on Mathematics)
ModelArts人工智能应用开发指南
田奇、白小龙 著
Model Theory, Third Edition (Dover Books on Mathematics)
ModelTaxConventiononIncomeandonCapital:CondensedVersion2010
Oecd Publishing 著
Model Theory, Third Edition (Dover Books on Mathematics)
ModelingforInsight:AMasterClassforBusinessAnalysts
Stephen G. Powell、Robert J. Batt 著
Model Theory, Third Edition (Dover Books on Mathematics)
ModelSim电子系统分析及仿真(第3版)
于斌 著
Model Theory, Third Edition (Dover Books on Mathematics)
Modelica语言导论——技术物理系统建模与仿真
[瑞典]彼得·弗里兹森(Peter Fritzson) 著
Model Theory, Third Edition (Dover Books on Mathematics)
Model-Making:MaterialsandMethods
David Neat 著
Model Theory, Third Edition (Dover Books on Mathematics)
ModelWife
Julia Llewellyn 著
Model Theory, Third Edition (Dover Books on Mathematics)
ModelsforWriters:ShortEssaysforComposition
Alfred Rosa 著
Model Theory, Third Edition (Dover Books on Mathematics)
ModellingScaleFigures
Mark Bannerman 著
Model Theory, Third Edition (Dover Books on Mathematics)
ModellingandSculptingAnimals
Edouard Lanteri 著
Model Theory, Third Edition (Dover Books on Mathematics)
Modeling and Characterization of RF and Microwave Power FETs[无线电和微波功率FET模型和特性]
Peter Aaen(彼得·安恩)、Jaime A. Plá、John Wood(约翰·伍德) 著
Model Theory, Third Edition (Dover Books on Mathematics)
ModellingtheImpactofClimateChangeonWaterResources
C. Fai Fung、Ana Lopez、Mark New 编
您可能感兴趣 / 更多
Model Theory, Third Edition (Dover Books on Mathematics)
花艺设计参考手册
Chelsea(吕晓哲) 著
Model Theory, Third Edition (Dover Books on Mathematics)
数学奥林匹克中的欧几里得几何
Chen 著;罗炜 译;[美]陈谊廷(Evan
Model Theory, Third Edition (Dover Books on Mathematics)
模拟医学儿科分册(翻译版/配增值)
Cheng 著;Vincent、J.Grant、Adam、陈怡绮 译
Model Theory, Third Edition (Dover Books on Mathematics)
航天器电磁兼容性技术(SpacecraftElectromagneticCompatibilityTechnolo
Chengbo 著;Hua、Zhang、Yuting、Zhang、Peijian Ye 编
Model Theory, Third Edition (Dover Books on Mathematics)
亚洲人重睑成形术:原理与实践(第3版)
Chen 著;陈伯迪(William、PD、李丹、张诚、田怡 译
Model Theory, Third Edition (Dover Books on Mathematics)
THEVACUUMSUPER-UNIFIEDTHEORY
Che、Shuqiao 著
Model Theory, Third Edition (Dover Books on Mathematics)
从传统到现代:浙江现象的文化社会学阐释(英文版)
Chen、Lixu 著
Model Theory, Third Edition (Dover Books on Mathematics)
数据失控:算法时代的个体危机
Cheney-Lippold(约翰·切尼-利波尔德) 著;[美]John、张昌宏 译
Model Theory, Third Edition (Dover Books on Mathematics)
Despicable Me 3: The Junior Novel
Chesterfield, Sadie
Model Theory, Third Edition (Dover Books on Mathematics)
Le Cinq
Chef ·ric Briffard 著
Model Theory, Third Edition (Dover Books on Mathematics)
Beginning AutoCAD 2012 Exercise Workbook
Cheryl R. Shrock 著
Model Theory, Third Edition (Dover Books on Mathematics)
Negaholics
Cherie Carter-Scott 著