Repository | Directory | Profile
Răzvan Diaconescu
The algebra of opposition (and universal logic interpretations)
2015
in: The road to universal logic I, Basel : Birkhäuser
Jewels of institution-independent model theory
2006
in: Algebra, meaning, and computation, Dordrecht : Springer