
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.
- Författare
- Razvan Diaconescu
- Upplaga
- Second Edition 2025
- ISBN
- 9783031688539
- Språk
- Engelska
- Vikt
- 446 gram
- Utgivningsdatum
- 2025-03-06
- Förlag
- BIRKHAUSER VERLAG AG
- Sidor
- 568
