Diaconescu

Institution-independent Model Theory

2., Second Edition 2025

Springer Nature Switzerland

ISBN 978-3-031-68854-6

Standardpreis


139,09 €

sofort lieferbar!

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

auch verfügbar als Buch (Hardcover) für 149,79 €

Bibliografische Daten

eBook. PDF

2., Second Edition 2025. 2025

XIII, 568 p. 2 illus. in color..

In englischer Sprache

Umfang: 568 S.

Verlag: Springer Nature Switzerland

ISBN: 978-3-031-68854-6

Weiterführende bibliografische Daten

Das Werk ist Teil der Reihe: Studies in Universal Logic

auch verfügbar als Buch (Hardcover) für 149,79 €

Produktbeschreibung

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 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.

This 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.

Autorinnen und Autoren

Produktsicherheit

Hersteller

Springer-Verlag GmbH

Tiergartenstr. 17
69121 Heidelberg, DE

ProductSafety@springernature.com

Topseller & Empfehlungen für Sie

Ihre zuletzt angesehenen Produkte

Rezensionen

Dieses Set enthält folgende Produkte:
    Auch in folgendem Set erhältlich:

    • nach oben

      Ihre Daten werden geladen ...