Infinitary Logic

In Memoriam Carol Karp

D. W. Kueker (Herausgeber)

Buch | Softcover
IX, 208 Seiten
1975 | 1975
Springer Berlin (Verlag)
978-3-540-07419-9 (ISBN)

Lese- und Medienproben

Infinitary Logic -
48,14 inkl. MwSt
A Collection of Papers by Varoius Authors

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.

Erscheint lt. Verlag 1.11.1975
Reihe/Serie Lecture Notes in Mathematics
Zusatzinfo IX, 208 p.
Verlagsort Berlin
Sprache englisch
Maße 155 x 235 mm
Gewicht 318 g
Themenwelt Mathematik / Informatik Mathematik Allgemeines / Lexika
Mathematik / Informatik Mathematik Logik / Mengenlehre
Schlagworte Finite • Forth • Infinitäre Logik • Karp, Carol • language • Logic • techniques
ISBN-10 3-540-07419-8 / 3540074198
ISBN-13 978-3-540-07419-9 / 9783540074199
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich