Petria and Răzvan Diaconescu. Abstract Beth definability in institutions (2006)

by Marius
Venue:Journal of Symbolic Logic