{"product_id":"institutionindependent-model-theory-9783031688539","title":"Institutionindependent Model Theory","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003e- Introduction.- \u003cstrong\u003ePart I Basics\u003c\/strong\u003e.- Categories.- Institutions.- Theories and Models.- Internal Logic.- \u003cstrong\u003ePart II Advanced Topics\u003c\/strong\u003e.- Model Ultraproducts.- Saturated Models.- Preservation and Axiomatizability.- Interpolation.- Definability.- \u003cstrong\u003ePart III Extensions\u003c\/strong\u003e.- Institutions with Proofs.- Models with States.- Many-valued Truth Institutions.- \u003cstrong\u003ePart IV Applications to Computing\u003c\/strong\u003e.- Grothendieck Institutions.- Specification.- Logic Programming.\u003c\/p\u003e","brand":"Birkhäuser","offers":[{"title":"Default Title","offer_id":53195398971735,"sku":"9783031688539","price":151.99,"currency_code":"GBP","in_stock":false}],"url":"https:\/\/bookcurl.com\/products\/institutionindependent-model-theory-9783031688539","provider":"Book Curl","version":"1.0","type":"link"}