{"product_id":"mathematical-formulae-ken-kubota-9783943334074","title":"Mathematical Formulae","description":"\u003cp\u003eThis work contains the formula part of the presentation of the mathematical logic R\u003csub\u003e0\u003c\/sub\u003e, a further development of Peter B. Andrews' logic Q\u003csub\u003e0\u003c\/sub\u003e. The syntactic features provided by R\u003csub\u003e0\u003c\/sub\u003e are type variables (\u003cem\u003epolymorphic type theory\u003c\/em\u003e), the binding of type variables with the abstraction operator and single variable binder λ (\u003cem\u003etype abstraction\u003c\/em\u003e), and (some of) the means necessary for dependent types (\u003cem\u003edependent type theory\u003c\/em\u003e).\u003c\/p\u003e\u003cp\u003eFor more information, please see: http: \/\/doi.org\/10.4444\/100.10\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Ken Kubota\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3943334074\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783943334074\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Owl of Minerva Press\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 03\/15\/2017\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 830\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 4.30lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 11.69h x 8.27w x 1.65d","brand":"Ken Kubota","offers":[{"title":"Paperback","offer_id":44169930768639,"sku":"9783943334074","price":42.5,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_4d2033b8-f768-4292-9074-2436c9defac6.jpg?v=1689655825","url":"https:\/\/www.whiterainbookhouse.com\/products\/mathematical-formulae-ken-kubota-9783943334074","provider":"WR Book House","version":"1.0","type":"link"}