Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
Enregistré dans:
| Autres auteurs: | |
|---|---|
| Format: | Livre papier |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer-Verlag
1975.
|
| Collection: | Lecture notes in mathematics. Series Department of Mathematics, University of Maryland, College Park
492 |
| Sujets: | |
| Note: |
Biographie et bibliographie de Carol Ruth Karp Portrait en frontispice |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Mélanges :, Karp, 1926-1972 |
| Edition sous un autre format: | • Infinitary Logic, in Memoriam Carol Karp, A Collection of Papers by Various Authors, edited by David W. Kueker, Berlin [etc.], Springer, 201X, Lecture Notes in Mathematics, 978-3-540-37949-2 |
Table des matières:
- Introduction / López-Escobar, E. G. K. Back-and-forth arguments and infinitary logics / Kueker, David W. Consistency properties for finite quantifier languages / Green, Judy Chain models / Cunningham, Ellen On a finiteness condition for infinitary languages / Gregory, John