{"product_id":"9789400700017","title":"Hybrid Logic and Its Proof-Theory (Applied Logic)","description":"\u003cp\u003eIn the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems (natural deduction, Gentzen, tableau, and axiom systems) for a spectrum of different hybrid logics (propositional, first-order, intensional first-order, and intuitionistic).\u003c\/p\u003e","brand":"Springer Verlag","offers":[{"title":"Default Title","offer_id":42571262656587,"sku":"00000_00000_00000_00000","price":3921.51,"currency_code":"THB","in_stock":true}],"url":"https:\/\/kinokuniya.co.th\/products\/9789400700017","provider":"Books Kinokuniya Thailand","version":"1.0","type":"link"}