资源描述:
《Logic:a brief course 2012》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、ToSaraandElenaDanieleMundiciLogic:aBriefCourseDanieleMundiciDepartmentofMathematicsandComputerScience“U.Dini”UniversityofFlorence(Italy)Translatedby:KrzysztofR.Apt,CentrumWiskunde&Informatica,Amsterdam(Netherlands)TranslatedfromtheoriginalItalianedition:D.Mundici:Logica:Metod
2、oBreve,©Springer-VerlagItalia2011UNITEXT–LaMatematicaperil3+2ISSNprintedition:2038-5722ISSNelectronicedition:2038-5757ISBN978-88-470-2360-4ISBN978-88-470-2361-1(eBook)DOI10.1007/978-88-470-2361-1LibraryofCongressControlNumber:2011942179SpringerMilanHeidelbergNewYorkDordrechtL
3、ondon©Springer-VerlagItalia2012Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillus-trations,recitation,broadcasting,reproductiononmicrofilmsorinanyotherphysica
4、lway,andtransmissionorinformationstorageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynowknownorhereafterdeveloped.Exemptedfromthislegalreservationarebriefexcerptsinconnectionwithreviewsorscholarlyanalysisormaterialsuppliedspecificallyfo
5、rthepurposeofbeingenteredandexecutedonacomputersystem,forexclusiveusebythepurchaserofthework.DuplicationofthispublicationorpartsthereofispermittedonlyundertheprovisionsoftheCopyrightLawofthePublisher’slocation,initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpr
6、inger.PermissionsforusemaybeobtainedthroughRightsLinkattheCopyrightClearanceCenter.ViolationsareliabletoprosecutionundertherespectiveCopyrightLaw.Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublicationdoesnotimply,evenintheabsenceofaspeci
7、ficstatement,thatsuchnamesareexemptfromtherelevantprotectivelawsandregulationsandthereforefreeforgeneraluse.Whiletheadviceandinformationinthisbookarebelievedtobetrueandaccurateatthedateofpublication,neithertheauthorsnortheeditorsnorthepublishercanacceptanylegalre-sponsibility
8、foranyerrorsoromissionsthatmaybemade.Thepublishermakesnowarranty,exp