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」 より