00893nam0-2200325---450-99000934900040332120110426140036.0978-88-420-9523-1000934900FED01000934900(Aleph)000934900FED0100093490020110426d2011----km-y0itay50------baitaITy-------001yyPrima lezione sulla televisioneAldo GrassoRoma ; BariLaterza2011XV, 142 p.18 cmUniversale Laterza912Televisione384.5521itaGrasso,Aldo<1948- >40244ITUNINAREICATUNIMARCBK990009349000403321Collez. 114 (912)46709FSPBCFSPBCPrima lezione sulla televisione767747UNINA03076nam 2200661Ia 450 991045172390332120200520144314.01-281-86259-297866118625963-7643-8708-410.1007/978-3-7643-8708-2(CKB)1000000000492013(EBL)364464(OCoLC)288440391(SSID)ssj0000180082(PQKBManifestationID)11177436(PQKBTitleCode)TC0000180082(PQKBWorkID)10149169(PQKB)11379634(DE-He213)978-3-7643-8708-2(MiAaPQ)EBC364464(PPN)128126477(Au-PeEL)EBL364464(CaPaEBR)ebr10245877(CaONFJC)MIL186259(EXLCZ)99100000000049201320081006d2008 uy 0engur|n|---|||||txtccrInstitution-independent model theory[electronic resource] /Răzvan Diaconescu1st ed. 2008.Basel ;Boston Birkhäuserc20081 online resource (386 p.)Studies in universal logicDescription based upon print version of record.3-7643-8707-6 Includes bibliographical references and index.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.A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise mathematical formulation for the intuitive concept of a logical system. Especially in computer science, where the development of a huge number of specification logics is observable, institution-independent model theory simplifies and sometimes even enables a concise model-theoretic analysis of the system. Besides incorporating important methods and concepts from conventional model theory, the proposed top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. As a consequence, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained.Studies in universal logic.Model theoryLogic, Symbolic and mathematicalElectronic books.Model theory.Logic, Symbolic and mathematical.511.3511.34Diaconescu Răzvan950550MiAaPQMiAaPQMiAaPQBOOK9910451723903321Institution-independent model theory2149199UNINA