Jewels of institution-independent model theory

2006

Răzvan Diaconescu

in: Algebra, meaning, and computation, Berlin,