[{"onix":{"RecordReference":"9784130640978","NotificationType":"03","ProductIdentifier":{"ProductIDType":"15","IDValue":"9784130640978"},"DescriptiveDetail":{"ProductComposition":"00","ProductForm":"BA","ProductFormDetail":"B108","Collection":{"CollectionType":"10","TitleDetail":{"TitleType":"01","TitleElement":[{"TitleElementLevel":"03","TitleText":{"collationkey":"","content":"ゲーデルと20世紀の論理学"}}]}},"TitleDetail":{"TitleType":"01","TitleElement":{"TitleElementLevel":"01","TitleText":{"collationkey":"ゲーデルトニジュッセイキノロジックサン","content":"ゲーデルと20世紀の論理学3"},"Subtitle":{"collationkey":"フカンゼンセイテイリトサンジュツノタイケイ","content":"不完全性定理と算術の体系"}}},"Contributor":[{"SequenceNumber":"1","ContributorRole":["B01"],"PersonName":{"collationkey":"タナカ　カズユキ","content":"田中　一之"}}],"Language":[{"LanguageRole":"01","LanguageCode":"jpn","CountryCode":"JP"}],"Extent":[{"ExtentType":"11","ExtentValue":"264","ExtentUnit":"03"}],"Audience":[{"AudienceCodeType":"22","AudienceCodeValue":"00"}]},"CollateralDetail":{"TextContent":[{"TextType":"03","ContentAudience":"00","Text":"不完全な公理系のなかで，数学はどこまで展開可能なのか？　そして，個々の数学理論に必要とされる公理とは？　本書では，２つの不完全性定理に現代的な証明を与え，それ以降の算術の形式体系について得られた現代ロジックについてくわしく解説する．"},{"TextType":"04","ContentAudience":"00","Text":"序　不完全性定理とその背景（田中一之）\nI　第一不完全性定理と第二不完全性定理（鹿島　亮）\n第１章　計算論\n第２章　ペアノ算術\n第３章　第一不完全性定理\n第４章　第二不完全性定理\n第５章　証明可能性述語の詳細\nII　逆数学と２階算術（山崎　武）\n第１章　２階算術と部分体系\n第２章　数学の展開と逆数学\n第３章　逆数学周辺\nIII　ダイアレクティカ解釈（白旗　優）\n第１章　ダイアレクティカ解釈の背景　\n第２章　ダイアレクティカ解釈の概要\n第３章　ダイアレクティカ解釈の展開"}],"SupportingResource":[{"ResourceContentType":"01","ContentAudience":"01","ResourceMode":"03","ResourceVersion":[{"ResourceForm":"02","ResourceVersionFeature":[{"ResourceVersionFeatureType":"01","FeatureValue":"D502"},{"ResourceVersionFeatureType":"04","FeatureValue":"9784130640978.jpg"}],"ResourceLink":"https:\/\/cover.openbd.jp\/9784130640978.jpg"}]}]},"PublishingDetail":{"Imprint":{"ImprintIdentifier":[{"ImprintIDType":"24","IDValue":"5149"},{"ImprintIDType":"19","IDValue":"13"}],"ImprintName":"東京大学出版会"},"Publisher":{"PublishingRole":"01","PublisherIdentifier":[{"PublisherIDType":"24","IDValue":"5149"},{"PublisherIDType":"19","IDValue":"13"}],"PublisherName":"東京大学出版会"},"PublishingDate":[{"PublishingDateRole":"01","Date":""},{"PublishingDateRole":"25","Date":"00000000"},{"PublishingDateRole":"09","Date":"00000000"},{"PublishingDateRole":"02","Date":"00000000"},{"PublishingDateRole":"11","Date":"20070301"}]},"ProductSupply":{"MarketPublishingDetail":{"MarketPublishingStatus":"00","MarketPublishingStatusNote":"1;"},"SupplyDetail":{"ProductAvailability":"99","Price":[{"PriceType":"01","PriceAmount":"3800","CurrencyCode":"JPY"}]}}},"hanmoto":{"genshomei":"","han":"","gatsugougousuu":"","datejuuhanyotei":"0000-00-00","datezeppan":"0000-00-00","toji":"","zaiko":11,"ndccode":"","kankoukeitai":"","sonotatokkijikou":"","jushoujouhou":"","furokusonota":"","dokushakakikomi":"","dokushakakikomipagesuu":0,"zasshicode":"","hatsubai":"","hatsubaiyomi":"","author":[{"listseq":1,"dokujikubun":"編"}],"datecreated":"2018-10-11 00:00:00","hanmotoinfo":{"name":"東京大学出版会","yomi":"トウキヨウダイガクシユツパンカイ","url":"","twitter":"","facebook":"","toritsugitorikyo":"","toritsugisonota":"","eigyoudaihyousha":""},"dateshuppan":"2007-03-01","datemodified":"2018-10-11 00:00:00"},"summary":{"isbn":"9784130640978","title":"ゲーデルと20世紀の論理学3","volume":"","series":"ゲーデルと20世紀の論理学","publisher":"東京大学出版会","pubdate":"20070301","cover":"https:\/\/cover.openbd.jp\/9784130640978.jpg","author":"田中一之／編"}}]