00938nam 2200337zu 450 991048288000332120230818125235.0(CKB)3580000000001800(SSID)ssj0000508743(PQKBManifestationID)12212641(PQKBTitleCode)TC0000508743(PQKBWorkID)10556345(PQKB)10225300(EXLCZ)99358000000000180020160829d1985 uy engtxtccrModel-theoretic logics[Place of publication not identified]Springer1985Bibliographic Level Mode of Issuance: Monograph0-387-90936-2 3-540-90936-2 Barwise Jon44681Feferman SolomonPQKBBOOK9910482880003321Model-theoretic logics925765UNINA