| 000 | 01081cam a2200229 i 4500 | ||
|---|---|---|---|
| 999 |
_c12278 _d12278 |
||
| 008 | 751022s1975 gw c b 010 0beng | ||
| 020 | _a0387074198 | ||
| 080 |
_a51 _bLNM |
||
| 245 | 0 | 0 |
_aInfinitary logic : _bin memoriam Carol Karp : a collection of papers by various authors / _cedited by D. W. Kueker. |
| 260 |
_aBerlin ; _aNew York : _bSpringer-Verlag, _c1975. |
||
| 300 |
_a206 p. : _bport. ; |
||
| 490 | 1 |
_aLecture notes in mathematics _v492 |
|
| 504 | _a"Biography and bibliography: Carol Ruth Karp (née, van der Velde)": p. 13-16. Includes bibliographies. | ||
| 505 | 0 | _aLópez-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.--Gregory, J. On a finiteness condition for infinitary languages. | |
| 650 | 0 | _aInfinitary languages. | |
| 650 | 0 | _aModel theory. | |
| 690 | _aMathematics | ||
| 700 | 1 | _aKarp, Carol, | |
| 700 | 1 | _aKueker, D. W., | |
| 830 | 0 |
_aLecture notes in mathematics (Springer-Verlag) ; _v492. |
|
| 942 | _cBK | ||