TY - BOOK AU - Diaconescu,R�azvan ED - ebrary, Inc. TI - Institution-independent model theory T2 - Studies in universal logic AV - QA9.7 .D52 2008eb PY - 2008/// CY - Basel, Boston PB - Birkh�auser KW - Model theory KW - Logic, Symbolic and mathematical KW - Electronic books KW - local N1 - Includes bibliographical references and index; Electronic reproduction; Palo Alto, Calif.; ebrary; 2009; Available via World Wide Web; Access may be limited to ebrary affiliated libraries UR - http://site.ebrary.com/lib/strathmore/Doc?id=10245877 ER -