TY  - BOOK
AU  - Karp,Carol
AU  - Kueker,D.W.
TI  - Infinitary logic: in memoriam Carol Karp : a collection of papers by various authors 
T2  - Lecture notes in mathematics
SN  - 0387074198
PY  - 1975///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Infinitary languages
KW  - Model theory
N1  - "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
ER  -