Normal view MARC view ISBD view

Institution-independent Model Theory

511.3

Diaconescu, Răzvan. Institution-independent Model Theory by Răzvan Diaconescu. -
XI, 376 p. online resource. - (Studies in Universal Logic, ) Content notes : Categories -- Institutions -- Theories and Models -- Internal Logic -- Model Ultraproducts -- Saturated Models -- Preservation and Axiomatizability -- Interpolation -- Definability -- Possible Worlds -- Grothendieck Institutions -- Institutions with Proofs -- Specification -- Logic Programming. 9783764387082 * Logic, Symbolic and mathematical. Computer science. Logic. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. Logic. * Series

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com)