欢迎来到天天文库
浏览记录
ID:39711458
大小:1.66 MB
页数:152页
时间:2019-07-09
《A Course on Mathematical Logic》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、KurtGodel(1906–1978)¨S.M.SrivastavaACourseonMathematicalLogic123S.M.SrivastavaIndianStatisticalInstituteKolkataIndiae-mail:smohan@isical.ac.inISBN:978-0-387-76275-3e-ISBN:978-0-387-76277-7DOI:10.1007/978-0-387-76277-7LibraryofCongressControlNumber:2008920049MathematicsSubjectCl
2、assification(2000):03-xx°c2008SpringerScience+BusinessMedia,LLCAllrightsreserved.Thisworkmaynotbetranslatedorcopiedinwholeorinpartwithoutthewrittenpermissionofthepublisher(SpringerScience+BusinessMedia,LLC,233SpringStreet,NewYork,NY10013,USA),exceptforbriefexcerptsinconnectionwi
3、threviewsorscholarlyanalysis.Useinconnectionwithanyformofinformationstorageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynowknownorhereafterdevelopedisforbidden.Theuseinthispublicationoftradenames,trademarks,servicemarks,andsimilarterms,ev
4、eniftheyarenotidentifiedassuch,isnottobetakenasanexpressionofopinionastowhetherornottheyaresubjecttoproprietaryrights.Printedonacid-freepaper987654321springer.comToHAIMANTIContentsPreface.....................................................ix1SyntaxofFirst-OrderLogic............
5、.................11.1First-OrderLanguages................................11.2TermsofaLanguage..................................41.3FormulasofaLanguage...............................61.4First-OrderTheories..................................102SemanticsofFirst-OrderLanguages......
6、..............152.1StructuresofFirst-OrderLanguages....................162.2TruthinaStructure..................................172.3ModelofaTheory....................................192.4EmbeddingsandIsomorphisms.........................203PropositionalLogic....................
7、.................293.1SyntaxofPropositionalLogic..........................303.2SemanticsofPropositionalLogic.......................313.3CompactnessTheoremforPropositionalLogic...........333.4ProofinPropositionalLogic...........................373.5MetatheoremsinPropositionalLog
8、ic....................383.6PostTautologyTheorem.......
此文档下载收益归作者所有