
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
- 2008 ed.
- ISBN
- 9783764387075
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 16.5.2008
- Kustantaja
- Birkhauser Verlag AG
- Sivumäärä
- 376