Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors / edited by D. W. Kueker.
Material type: TextSeries: Lecture notes in mathematics (Springer-Verlag) ; 492.Publication details: Berlin ; New York : Springer-Verlag, 1975Description: 206 p. : portISBN: 0387074198Subject(s): Infinitary languages | Model theory | MathematicsCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 51 LNM (Browse shelf (Opens below)) | Available | 14469 |
"Biography and bibliography: Carol Ruth Karp (née, van der Velde)": p. 13-16. Includes bibliographies.
López-Escobar, E. G. K. Introduction.--Kueker, D. W. Back-and-forth arguments and infinitary logics.--Green, J. Consistency properties for finite quantifier languages.--Cunningham, E. Chain models.--Gregory, J. On a finiteness condition for infinitary languages.
There are no comments on this title.