Quantifiers: Logics, Models and Computation : Volume One: Surveys - Softcover

 
9789401705233: Quantifiers: Logics, Models and Computation : Volume One: Surveys

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

Preface. Quantifiers, Some Problems and Ideas; M. Krynicki, M. Mostowski. Prologue; P. Lindström. On the Model Theory of Some Generalized Quantifiers; H.D. Ebbinghaus. Finite Generation Problem and n-ary Quantifiers; L. Hella, K. Luosto. Games and Trees in Infinitary Logic: a Survey; J. Väänäen. Theory of Linear Order in Extended Logics; H. Herre. Henkin Quantifiers; M. Krynicki, M. Mostowski. Continuous Operations on Spaces of Structures; X. Caicedo. Model Theory of Topological Structures; J. Flum. Computable Quantifiers and Logics over Finite Structures; J.A. Makowski, Y.B. Pnueli. Quantifiers in Natural Language. A Survey of Some Recent Work; D. Westerståhl. Index of Names.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9780792334484: Quantifiers: Logics, Models and Computation: Volume One: Surveys (Synthese Library, 248, Band 248)

Vorgestellte Ausgabe

ISBN 10:  0792334485 ISBN 13:  9780792334484
Verlag: Springer, 1995
Hardcover