Custom cover image
Custom cover image

Infinitary logic : in memoriam Carol Karp / a collection of papers by various authors. Ed. by D. W. Kueker

Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Lecture notes in mathematics ; 492Publisher: Berlin [u.a.] : Springer-Verl., 1975Description: 206 S : portISBN:
  • 3540074198
  • 0387074198
Subject(s): Genre/Form: Additional physical formats: Online-Ausg.: Infinitary Logic: In Memoriam Carol Karp. Berlin, Heidelberg : Springer Berlin Heidelberg, 1975. Online-Ressource (IX, 208 p, online resource) | Erscheint auch als: Infinitary Logic: In Memoriam Carol Karp. Online-Ausgabe Berlin, Heidelberg : Springer Berlin Heidelberg, 1975. Online-Ressource (IX, 208 p, online resource)DDC classification:
  • 510/.8 s 511/.3
  • 510/.8
  • 511/.3
  • 510/.8 s
  • s
RVK: RVK: SI 850LOC classification:
  • QA3
  • QA9.37
Contents:
López-Escobar, E. G. K. Introduction.--Kueker, D. W. Back-and-forth arguments and infinitary logics.--Green, J. Consistency properties for finite quantifier languages.--Cunningham, E. Chain models.--Gregory, J. On a finiteness condition for infinitary languages.
PPN: PPN: 022569316
Holdings
Item type Home library Shelving location Call number Status Barcode
Freihandbestand ausleihbar Fachbibliothek Mathematik Bibliothek / frei aufgestellt Lect. notes / 492 Available 36286397090
Total holds: 0
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT