Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
The Syntax and Semantics of Infinitary Languages
276 Seiten, Taschenbuch
€ 57,50
Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
| Reihe | Lecture Notes in Mathematics |
|---|---|
| Themen | Informatik und Informationstechnologie Informatik Theoretische Informatik |
| ISBN | 9783540042426 |
| Sprache | Englisch |
| Erscheinungsdatum | 01.01.1968 |
| Größe | 235 x 155 mm |
| Verlag | Springer |
| Herausgegeben von | Jon Barwise |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Implicit definability and compactness in infinitary languages.- Some remarks on the model theory of infinitary languages.- Remarks on the theory of geometrical constructions.- Note on admissible ordinals.- An algebraic proof of the barwise compactness theorem.- Formulas with linearly ordered quantifiers.- Some problems in group theory.- Choice of infinitary languages by means of definability criteria; Generalized recursion theory.- Definability, automorphisms, and infinitary languages.- The hanf number for complete sentences.- Quantified algebras.- Normal derivability in classical logic.- A determinate logic.- (?1, ?) properties of unions of models.
| Reihe | Lecture Notes in Mathematics |
|---|---|
| Themen | Informatik und Informationstechnologie Informatik Theoretische Informatik |
| ISBN | 9783540042426 |
| Sprache | Englisch |
| Erscheinungsdatum | 01.01.1968 |
| Größe | 235 x 155 mm |
| Verlag | Springer |
| Herausgegeben von | Jon Barwise |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Wie gefällt Ihnen unser Shop?