{"product_id":"mathematical-formulae-9783943334074","title":"Mathematical Formulae","description":"\u003cp\u003e • Author(s): Ken Kubota\u003cbr\u003e • Publisher: Owl of Minerva Press\u003cbr\u003e • Publisher Imprint: Owl of Minerva Press\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\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","brand":"Owl of Minerva Press","offers":[{"title":"Paperback","offer_id":47813306744983,"sku":"9783943334074","price":4724.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783943334074.webp?v=1778335033","url":"https:\/\/atlanticbooks.com\/products\/mathematical-formulae-9783943334074","provider":"Atlantic Books","version":"1.0","type":"link"}