内容简介
Thisshorttextbookprovidesasuccinctintroductiontomathematicallogicandsettheory,whichtogetherformthefoundationsfortherigorousdevelopmentofmathematics.Itwillbesuitableforallmathematicsundergraduatescomingtothesubjectforthefirsttime.ThebookisbasedonlecturesgivenattheUniversityofCambridgeandcoversthebasicconceptsoflogic:firstorderlogic,consistency,andthecompletenesstheorem,beforeintroducingthereadertothefundamentalsofaxiomaticsettheory.Therearealsochaptersonrecursivefunctions,theaxiomofchoice,ordinalandcardinalarithmeticandtheincompletenesstheorems.DrJohnstonehasincludednumerousexercisesdesignedtoillustratethekeyelementsofthetheoryandtoprovideapplicationsofbasiclogicalconceptstootherareasofmathematics.Consequentlythebook,whilemakinganattractivefirsttextbookforthosewhoplantospecialiseinlogic,willbeparticularlyvaluableformathematicsandcomputerscientistswhoseprimaryinterestslieelsewhere.