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

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

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

Other Popular Editions of the Same Title

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

Featured Edition

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