[{"onix":{"RecordReference":"9784130120579","NotificationType":"03","ProductIdentifier":{"ProductIDType":"15","IDValue":"9784130120579"},"DescriptiveDetail":{"ProductComposition":"00","ProductForm":"BA","ProductFormDetail":"B108","TitleDetail":{"TitleType":"01","TitleElement":{"TitleElementLevel":"01","TitleText":{"collationkey":"ケンロンニヨルロンリガク","content":"圏論による論理学"},"Subtitle":{"collationkey":"コウカイロンリトトポス","content":"高階論理とトポス"}}},"Contributor":[{"SequenceNumber":"1","ContributorRole":["A01"],"PersonName":{"collationkey":"シミズ　ヨシオ","content":"清水　義夫"}}],"Language":[{"LanguageRole":"01","LanguageCode":"jpn","CountryCode":"JP"}],"Extent":[{"ExtentType":"11","ExtentValue":"232","ExtentUnit":"03"}],"Audience":[{"AudienceCodeType":"22","AudienceCodeValue":"00"}]},"CollateralDetail":{"TextContent":[{"TextType":"03","ContentAudience":"00","Text":"20世紀後半，数学，計算機科学，論理学などの分野で採用されてきている圏論．関数概念を基本として現象をとらえようというこの方法を，関数型高階論理とトポスを題材にして丁寧に解説する．論理学の観点を中心に，圏論の考え方を紹介するテキスト．"},{"TextType":"04","ContentAudience":"00","Text":"序\n第1章 関数型高階論理\n第2章 トポス\n第3章 トポスの基本定理\n第4章 プルバック関手ｆ *の右-随伴関手Πf\n第5章 リミット、空間性トポス、限量記号\n結び\n付録１　A∧(  ) ┤A⊃(  )のイメージ的理解\n付録２　各章の課題\n主な記号一覧／索引"}],"SupportingResource":[{"ResourceContentType":"01","ContentAudience":"01","ResourceMode":"03","ResourceVersion":[{"ResourceForm":"02","ResourceVersionFeature":[{"ResourceVersionFeatureType":"01","FeatureValue":"D502"},{"ResourceVersionFeatureType":"04","FeatureValue":"9784130120579.jpg"}],"ResourceLink":"https:\/\/cover.openbd.jp\/9784130120579.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":"20071201"}]},"ProductSupply":{"MarketPublishingDetail":{"MarketPublishingStatus":"00","MarketPublishingStatusNote":"1;"},"SupplyDetail":{"ProductAvailability":"99","Price":[{"PriceType":"01","PriceAmount":"2800","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-12-01","datemodified":"2018-10-11 00:00:00"},"summary":{"isbn":"9784130120579","title":"圏論による論理学 高階論理とトポス","volume":"","series":"","publisher":"東京大学出版会","pubdate":"20071201","cover":"https:\/\/cover.openbd.jp\/9784130120579.jpg","author":"清水義夫／著"}}]