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

Mitwirkende(r):

Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Lecture notes in mathematics ; 492Verlag: Berlin [u.a.] : Springer-Verl., 1975Beschreibung: 206 S : portISBN:

3540074198
0387074198

Schlagwörter:

Genre/Form:

Andere physische Formen: 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-Klassifikation:

510/.8 s 511/.3
510/.8
511/.3
510/.8 s
s

RVK: RVK: SI 850LOC-Klassifikation:

QA3
QA9.37

Inhalte:

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

Exemplare ( 1 )

Exemplare
Medientyp	Heimatbibliothek	Standort	Signatur	Status	Barcode
Freihandbestand ausleihbar	Fachbibliothek Mathematik	Bibliothek / frei aufgestellt	Lect. notes / 492	Verfügbar	36286397090

Anzahl Vormerkungen: 0