Institution-independent Model Theory (2008)

by R Diaconescu
Venue:Studies in Universal Logic. Birkhuser