{"product_id":"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\u003cp\u003e\u003c\/p\u003e","brand":"Owl of Minerva Press GmbH","offers":[{"title":"Default Title","offer_id":47065145737456,"sku":"9783943334074","price":35.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/7593\/9824\/files\/9783943334074_p0.jpg?v=1763704688","url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9783943334074","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}