Ebooks de Razvan Diaconescu en PDF

1 Livre(s)
Télécharger le livre : Institution-independent Model Theory
Ajouter à ma liste d'envies
Institution-independent Model Theory
Razvan Diaconescu
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
PDF

137,14 €