Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors

Bibliographic Information

Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors

edited by D.W. Kueker

(Lecture notes in mathematics, 492)

Springer-Verlag, 1975

  • : u.s.
  • : gw

Available at  / 75 libraries

Search this Book/Journal

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"

Related Books: 1-1 of 1

Details

Page Top