close
1.

図書
図書
1. Mathematical logic and theoretical computer science
edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith
出版情報: New York : M. Dekker, c1987
シリーズ名: Lecture notes in pure and applied mathematics ; v. 106
所蔵情報: loading…
2.

図書
図書
2. Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors (: u.s. ; : gw)
edited by D.W. Kueker
出版情報: Berlin ; New York : Springer-Verlag, 1975
シリーズ名: Lecture notes in mathematics ; 492
所蔵情報: loading…
目次情報: 続きを見る
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
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