0199230765.Oxford.University.Press.USA.Computability.and.Randomness.Jan.2009

《0199230765.Oxford.University.Press.USA.Computability.and.Randomness.Jan.2009》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、OXFORDLOGICGUIDESSeriesEditorsA.J.MACINTYRED.SCOTTOXFORDLOGICGUIDESForafulllistoftitlespleasevisithttp://www.oup.co.uk/academic/science/maths/series/OLG/21.C.McLarty:Elementarycategories,elementarytoposes22.R.M.Smullyan:Recursiontheoryformetamathematics23.PeterCloteandJ

2、anKraj´ıcek:Arithmetic,prooftheory,andcomputationalcomplexity24.A.Tarski:Introductiontologicandtothemethodologyofdeductivesciences25.G.Malinowski:Manyvaluedlogics26.AlexandreBorovikandAliNesin:GroupsoffiniteMorleyrank27.R.M.Smullyan:Diagonalizationandself-reference28.Dov

3、M.Gabbay,IanHodkinson,andMarkReynolds:Temporallogic:Mathematicalfoundationsandcomputationalaspects,volume129.SaharonShelah:Cardinalarithmetic30.ErikSandewall:Featuresandfluents:VolumeI:Asystematicapproachtotherepresentationofknowledgeaboutdynamicalsystems31.T.E.Forster:S

4、ettheorywithauniversalset:Exploringanuntypeduniverse,secondedition32.AnandPillay:Geometricstabilitytheory33.DovM.Gabbay:Labelleddeductivesystems35.AlexanderChagrovandMichaelZakharyaschev:ModalLogic36.G.SambinandJ.Smith:Twenty-fiveyearsofMartin-L¨ofconstructivetypetheory3

5、7.Mar´ıaManzano:Modeltheory38.DovM.Gabbay:FibringLogics39.MichaelDummett:ElementsofIntuitionism,secondedition40.D.M.Gabbay,M.A.ReynoldsandM.Finger:TemporalLogic:Mathematicalfoundationsandcomputationalaspects,volume241.J.M.DunnandG.Hardegree:AlgebraicMethodsinPhilosophic

6、alLogic42.H.Rott:Change,ChoiceandInference:Astudyofbeliefrevisionandnonmonotoicreasoning43.Johnstone:SketchesofanElephant:Atopostheorycompendium,volume144.Johnstone:SketchesofanElephant:Atopostheorycompendium,volume245.DavidJ.PymandEikeRitter:ReductiveLogicandProofSearc

7、h:Prooftheory,semanticsandcontrol46.D.M.GabbayandL.Maksimova:InterpolationandDefinability:ModalandIntuitionisticLogics47.JohnL.Bell:SetTheory:Boolean-valuedmodelsandindependenceproofs,thirdedition48.LauraCrosillaandPeterSchuster:FromSetsandTypestoTopologyandAnalysis:Towa

8、rdspracticablefoundationsforconstructivemathematics49.SteveAwodey:CategoryTheory50.RomanKossakandJamesSchmerl: