Quantifiers: Logics, Models and Computation: Contributions
143.14 CHF
Versandkostenfrei
Lieferzeit: 21 Werktage
- Artikel-Nr.: 10170680
Beschreibung
Preface. Quantifiers and Inference; J. van Benthem. Operators on Branched Quantifiers; M.A. Brown. Hilbert's Epsilon-Symbol in the Presence of Generalized Quantifiers; X. Caicedo. Partially Ordered Connectives and Finite Graphs; L. Hella, G. Sandu. Theories of Finitely Determined Linear Orderings in Stationary Logics; H. Herre. Definable Second-Order Quantifiers and Quasivarieties; A.A. Ivanov. Quantifiers Determined by Classes of Binary Relations; M. Krynicki. Decidability Results for Classes of Ordered Abelian Groups in Logics with Ramsey Quantifiers; W. Lenski. On the Eliminability of the Quantifier `There Exists Uncountably Many'; Z. Mijajlovic. Quantifiers Definable by Second Order Means; M. Mostowski. Generalized Quantifiers in Algebra; A.G. Pinus. On Ordering of the Family of Logics with Skolem-Löwenheim Property and Countable Compactness Property; M. Waclawek.DAGGER. Pre-Ordered Quantifiers in Elementary Sentences of Natural Language; M.W. Zawadowsky. Some Remarks on Zawadowski's `Theory of Preordered Quantifiers'; M.A. Brown. Index of Names.
Eigenschaften
Breite: | 156 |
Gewicht: | 604 g |
Höhe: | 228 |
Länge: | 21 |
Seiten: | 278 |
Autor: | L. W. Szczerba, M. Mostowski, Michal Krynicki |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen