{"product_id":"rcalculus-vi-finite-injury-priority-method-9789819758296","title":"RCalculus VI Finite Injury Priority Method","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003eIntroduction.- Finite injury priority method.- Binary-valued first-order logic. - R-calculus for L3-valued first-order logic.- R-calculus for B2 2 -valued FOL.- R-calculus for L4-valued FOL.- Default logic: finite injury priority method.- Default logic: tree construction.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53212895576407,"sku":"9789819758296","price":123.49,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/rcalculus-vi-finite-injury-priority-method-9789819758296","provider":"Book Curl","version":"1.0","type":"link"}