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, 1975.Description: 206 p. : portISBN: - 0387074198
BOOKS
| Home library | Call number | Materials specified | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| 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.