Institution-independent model theory - Diaconescu Razvan (Basel Birkhauser-Verlag, 2008)
Keywords: Mathematical Logic; Model theory; Symbolic logic