Birkhoff completeness in institutions (0)

by M Codescu, D Găină
Venue:Logica Universalis