Institution-independent Model Theory (Studies in Universal Logic)
5 Angebote vergleichen
Preise | 2013 | 2014 | 2015 | 2016 |
---|---|---|---|---|
Schnitt | € 93,03 | € 90,59 | € 94,63 | € 52,62 |
Nachfrage |
1
Institution-independent Model Theory (2008)
DE PB NW
ISBN: 9783764387075 bzw. 3764387076, in Deutsch, Birkhäuser Mai 2008, Taschenbuch, neu.
Von Händler/Antiquariat, Rheinberg-Buch [53870650], Bergisch Gladbach, NRW, Germany.
Neuware - This book develops model theory independently of any concrete logical system or structure, within the abstract category-theoretic framework of the so called institution theory . The development includes most of the important methods and concepts of conventional concrete model theory at the abstract institution-independent level. Consequently it is easily applicable to a rather large diverse collection of logics from the mathematical and computer science practice. 392 pp. Englisch.
Neuware - This book develops model theory independently of any concrete logical system or structure, within the abstract category-theoretic framework of the so called institution theory . The development includes most of the important methods and concepts of conventional concrete model theory at the abstract institution-independent level. Consequently it is easily applicable to a rather large diverse collection of logics from the mathematical and computer science practice. 392 pp. Englisch.
2
Institution-independent Model Theory (Studies in Universal Logic) (2008)
DE PB US
ISBN: 9783764387075 bzw. 3764387076, in Deutsch, Birkhäuser Basel, Taschenbuch, gebraucht.
Border-Buch-Vertrieb, [5121515].
Gebraucht -- Gut Ungenutzte Retoure aus dem Handel mit mittleren Lagerspuren.Der Versand aus Dtschl.erfolgt umgehend. - A 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 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 top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. As a consequence, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained. -, Taschenbuch.
Gebraucht -- Gut Ungenutzte Retoure aus dem Handel mit mittleren Lagerspuren.Der Versand aus Dtschl.erfolgt umgehend. - A 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 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 top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. As a consequence, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained. -, Taschenbuch.
3
Institution-independent Model Theory (2008)
DE PB NW
ISBN: 9783764387075 bzw. 3764387076, in Deutsch, Birkhäuser, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
Buchhandlung Kühn GmbH, [4368407].
Neuware - This book develops model theory independently of any concrete logical system or structure, within the abstract category-theoretic framework of the so called 'institution theory'. The development includes most of the important methods and concepts of conventional concrete model theory at the abstract institution-independent level. Consequently it is easily applicable to a rather large diverse collection of logics from the mathematical and computer science practice. Taschenbuch.
Buchhandlung Kühn GmbH, [4368407].
Neuware - This book develops model theory independently of any concrete logical system or structure, within the abstract category-theoretic framework of the so called 'institution theory'. The development includes most of the important methods and concepts of conventional concrete model theory at the abstract institution-independent level. Consequently it is easily applicable to a rather large diverse collection of logics from the mathematical and computer science practice. Taschenbuch.
4
Institution-independent Model Theory (Studies in Universal Logic) (2008)
EN PB NW
ISBN: 9783764387075 bzw. 3764387076, in Englisch, 376 Seiten, 2008. Ausgabe, Birkhäuser, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, BookGrami.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, BookGrami.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Institution-independent Model Theory (Studies in Universal Logic) (2008)
EN PB US
ISBN: 9783764387075 bzw. 3764387076, in Englisch, 376 Seiten, 2008. Ausgabe, Birkhäuser, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 24 hours.
Von Händler/Antiquariat, Bookbyte Textbooks.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Bookbyte Textbooks.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…