Institution-independent Model Theory [electronic resource] /
by Răzvan Diaconescu.
- Basel : Birkhäuser Verlag AG, 2008.
- v.: digital
- Studies in Universal Logic .
9783764387082
Mathematics Logic Computer science Logic, Symbolic and mathematical Mathematics Mathematical Logic and Foundations Mathematical Logic and Formal Languages Logic