عنوان
پدید آورنده
موضوع
رده
QA 1 .L4 v.492
QA
1
.
L4
v
.
492
کتابخانه
محل استقرار
English
Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
Berlin, New York
Springer-Verlag
1975
206 p. : port. ; 25 cm
Lecture notes in mathematics ; 294
Bibliography: p. 205-206
Biography and bibliography: Carol Ruth Karp )nee, van der Velde
edited by D. W. Kueker
1
Lopez-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.--Grego
Addresses, essays, lectures ، Infinitary languages
Addresses, essays, lectures ، Model theory
، Karp, Carol, 6291-2791
QA
1
.
L4
v
.
492
CA
510/
.
8
s
TI
AU Karp, Carol 1926-1972
AU Kueker, D. W. 1943-
SE
