Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
著者
書誌事項
Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
(Lecture notes in mathematics, 492)
Springer-Verlag, 1975
- : u.s.
- : gw
大学図書館所蔵 件 / 全75件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"Biography and bibliography: Carol Ruth Karp (née, van der Velde)": p. 13-16. Includes bibliographies
収録内容
- 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
内容説明・目次
内容説明
A Collection of Papers by Varoius Authors
目次
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.
「Nielsen BookData」 より