{"product_id":"institution-independent-model-theory-von-razvan-diaconescu-und-r-zvan-diaconescu","title":"Institution-independent Model Theory","description":"\n                                \n                \u003cp\u003eA model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise general mathematical formulation for the intuitive concept of a logical system. Especially in computer science, where the development of a huge number of specification logics is observable, institution-independent model theory simplifies and sometimes even enables a concise model-theoretic analysis of the system. Besides incorporating important methods and concepts from conventional model theory, the proposed axiomatic top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. Consequently, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained. Moreover, all this is also applied to non-classical model theories.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThis second edition introduces some novelties in the presentation style which aim to enhance the readability of the material and the proofs. Additional chapters have also been added.\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031688539\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031688560\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Hardcover - 9783031688539","offer_id":54329550504261,"sku":"9783031688539","price":149.79,"currency_code":"EUR","in_stock":true},{"title":"Softcover - 9783031688560","offer_id":58344397799749,"sku":"9783031688560","price":149.79,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/ada566d7-adcc-43a4-bf6a-ced31c6c3a30.jpg?v=1782190087","url":"https:\/\/shop.autorenwelt.de\/products\/institution-independent-model-theory-von-razvan-diaconescu-und-r-zvan-diaconescu","provider":"Autorenwelt Shop","version":"1.0","type":"link"}