TY  - GEN
AU  - Diaconescu,Razvan
TI  - Institution-independent model theory
SN  - 3764387076
U1  - 511.3/4 
PY  - 2008///
CY  - Basel, Boston
PB  - Birkhèauser
KW  - Model theory
KW  - Logic, Symbolic and mathematical
N1  - Contine bibliografie; Introduction -- Categories -- Institutions -- Theories and models -- Internal logic -- Model ultrapoducts -- Saturated models -- Preservation and axiomatizability -- Interpolation -- Definability -- Possible worlds -- Grothendieck institutions -- Institutions with proofs -- Specification -- Logic programming
ER  -