Institution-Independent Model Theory by Razvan Diaconescu