{"product_id":"9784785310967","title":"証明論と計算量","description":"自然数論の証明論は数学基礎論の中心的問題であったが、弱い自然数論の証明論が計算量の理論と密接な関係にあることが知られている。本書は、証明論と計算量との中間領域についての基本的な事柄を、最近の話題を含めてまとめたものである。限定算術固有の分野には深入りせず、最近の目覚しい話題のFregeシステムについてふれた。","brand":"裳華房","offers":[{"title":"Default Title","offer_id":48499740115248,"sku":"","price":3850.0,"currency_code":"JPY","in_stock":true}],"url":"https:\/\/www.maruzenjunkudo.co.jp\/products\/9784785310967","provider":"丸善ジュンク堂書店ネットストア","version":"1.0","type":"link"}