Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors / edited by D.W. Kueker
(Lecture notes in mathematics ; 492)
Publisher | Berlin ; New York : Springer-Verlag |
---|---|
Year | 1975 |
Authors | Karp, Carol, 1926-1972 Kueker, D. W., 1943- |
Hide book details.
Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Restriction | Reserve |
---|---|---|---|---|---|---|---|---|---|
Library Restricted Access Stacks |
|
SAe:21:492 | 128035603S |
|
|
|
|
Hide details.
Material Type | Books |
---|---|
Size | 206 p. : port. ; 25 cm |
Contents | 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 |
Notes | "Biography and bibliography: Carol Ruth Karp (née, van der Velde)": p. 13-16. Includes bibliographies |
Subjects | LCSH:Karp, Carol, 1926-1972 LCSH:Infinitary languages -- Addresses, essays, lectures All Subject Search LCSH:Model theory -- Addresses, essays, lectures All Subject Search |
Classification | LCC:QA3 LCC:QA9.37 DC:510/.8 s DC:511/.3 |
Language | English |
ID | 0000256362 |
ISBN | 0387074198 |
NCID | BA0671601X |
Similar Items
Usage statistics of this contents
Number of accesses to this page:2times