このページのリンク

Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors / edited by D.W. Kueker
(Lecture notes in mathematics ; 492)

データ種別 図書
出版情報 Berlin ; New York : Springer-Verlag , 1975
本文言語 英語
大きさ 206 p. : port. ; 25 cm

所蔵情報を非表示

積層4層 : gw 410.8||L||492 9851592710
3540074198

書誌詳細を非表示

内容注記 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
一般注記 "Biography and bibliography: Carol Ruth Karp (née, van der Velde)": p. 13-16. Includes bibliographies
著者標目  Karp, Carol, 1926-1972
 Kueker, D. W., 1943-
分 類 LCC:QA3
LCC:QA9.37
DC:510/.8 s
DC:511/.3
件 名 LCSH:Karp, Carol, 1926-1972
LCSH:Infinitary languages -- Addresses, essays, lectures  全ての件名で検索
LCSH:Model theory -- Addresses, essays, lectures  全ての件名で検索
書誌ID TY00017345
ISBN 0387074198
NCID BA0671601X