Institution-independent model theory
Auteur :
Diaconescu, Răzvan
Éditeur :
Birkhauser Verlag AG
ISBN :
9783031688539
Date de publication :
6 mars 2025
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics.