
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.
- Kirjailija
- Razvan Diaconescu
- Painos
- Second Edition 2025
- ISBN
- 9783031688539
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 6.3.2025
- Kustantaja
- BIRKHAUSER VERLAG AG
- Sivumäärä
- 568