Diaconescu, Razvan <br/><br/>
Institution-independent model theory 
Razvan Diaconescu 
 - Basel  Boston  Birkhčauser  c2008 
 - xi, 376 p  ill  24 cm 
 - Studies in universal logic .
<br/><br/> Contine bibliografie 
<br/><br/>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 
<br/><br/><label>ISBN: </label>3764387076 9783764387075 
<br/><br/><label>LCCN: </label>2008924875 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Model theory<br/>Logic, Symbolic and mathematical
<br/><br/><label>Dewey Class. No.: </label>511.3/4