Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
Author(s)
Bibliographic Information
Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
（Lecture notes in mathematics, 492）
Springer-Verlag, 1975
- : u.s.
- : gw
Available at / 76 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: gwL/N||LNM||4922212557
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science研究室
: gw510/L4972020907797
-
No Libraries matched.
- Remove all filters.
Note
"Biography and bibliography: Carol Ruth Karp (née, van der Velde)": p. 13-16. Includes bibliographies
Contents of Works
- Introduction / by E.G.K. López-Escobar
- Back-and-forth arguments and infinitary logics / by David W. Kueker
- Consistency properties for finite quantifier languages / by Judy Green
- Chain models / by Ellen Cunningham
- On a finiteness condition for infinitary languages / by John Gregory
Description and Table of Contents
Description
A Collection of Papers by Varoius Authors
Table of Contents
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.
by "Nielsen BookData"