1 résultat(s)
Télécharger le livre : Institution-independent Model Theory
Razvan Diaconescu
Institution-independent Model Theory
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...
Editeur : Birkhäuser
Parution : 2025-03-05
Collection : Studies in Universal Logic
Format(s) : PDF
157,29 €
Téléchargement immédiat
Dès validation de votre commande