Institution-independent model theory

Descrição: This book develops model theory independently of any concrete logical system or structure, within the abstract cate... Veja mais