Infinitary Logic: In Memoriam Carol Karp A Collection of Papers by Various Authors / [electronic resource] : A Collection of Papers by Varoius Authors edited by David W. Kueker. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1975. - IX, 208 p. online resource. - Lecture Notes in Mathematics, 492 0075-8434 ; . - Lecture Notes in Mathematics, 492 .

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.

9783540379492

10.1007/BFb0081118 doi


Mathematics.
Mathematics.
Mathematics, general.

QA1-939

510
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha