TY  - BOOK
AU  - Kueker,David W.
ED  - SpringerLink (Online service)
TI  - Infinitary Logic: In Memoriam Carol Karp: A Collection of Papers by Various Authors 
T2  - Lecture Notes in Mathematics,
SN  - 9783540379492
AV  - QA1-939 
U1  - 510 23
PY  - 1975///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Mathematics
KW  - Mathematics, general
N1  - 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
UR  - http://dx.doi.org/10.1007/BFb0081118
ER  -