02078nam 2200613 450 99646658980331620220909042714.03-540-37949-510.1007/BFb0081118(CKB)1000000000438311(SSID)ssj0000323954(PQKBManifestationID)12106220(PQKBTitleCode)TC0000323954(PQKBWorkID)10304166(PQKB)11523249(DE-He213)978-3-540-37949-2(MiAaPQ)EBC5585662(Au-PeEL)EBL5585662(OCoLC)1066199980(MiAaPQ)EBC6842054(Au-PeEL)EBL6842054(OCoLC)1292357197(PPN)155203371(EXLCZ)99100000000043831120220909d1975 uy 0engurnn|008mamaatxtccrInfinitary logic in memoriam Carol Karp /edited by D. W. Kueker1st ed. 1975.Berlin ;Heidelberg ;New York :Springer-Verlag,[1975]©19751 online resource (IX, 208 p.) Lecture notes in mathematics ;492Bibliographic Level Mode of Issuance: Monograph3-540-07419-8 Back-and-forth arguments and infinitary logics -- Consistency properties for finite quantifier languages -- Chain models: Applications of consistency properties and back-and-forth techniques in infinite-quantifier languages -- On a finiteness condition for infinitary languages.A Collection of Papers by Varoius Authors.Lecture notes in mathematics (Springer-Verlag) ;492.Infinitary languagesModel theoryInfinitary languages.Model theory.511.3Kueker D. W.1943-MiAaPQMiAaPQMiAaPQBOOK996466589803316Infinitary logic80324UNISA