Birkhoff completeness in institutions (0)

by Mihai Codescu, Daniel Găină
Venue:Logica Universalis