Matches in Library of Congress for { <http://lccn.loc.gov/2008924875> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2008924875 contributor B11379563.
- 2008924875 created "c2008.".
- 2008924875 date "2008".
- 2008924875 date "c2008.".
- 2008924875 dateCopyrighted "c2008.".
- 2008924875 description "Includes bibliographical references (p. [355]-367) and index.".
- 2008924875 description "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.".
- 2008924875 extent "xi, 376 p. :".
- 2008924875 identifier "3764387076".
- 2008924875 identifier "9783764387075".
- 2008924875 identifier 2008924875-d.html.
- 2008924875 identifier 2008924875-t.html.
- 2008924875 isPartOf "Studies in universal logic".
- 2008924875 issued "2008".
- 2008924875 issued "c2008.".
- 2008924875 language "eng".
- 2008924875 publisher "Basel ; Boston : Birkhäuser,".
- 2008924875 subject "511.3/4 22".
- 2008924875 subject "Logic, Symbolic and mathematical.".
- 2008924875 subject "Model theory.".
- 2008924875 subject "QA9.7 .D53 2008".
- 2008924875 tableOfContents "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.".
- 2008924875 title "Institution-independent model theory / Răzvan Diaconescu.".
- 2008924875 type "text".