Quantifiers: Logics, Models and Computation : Volume One: Surveys - Tapa blanda

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

Esta edición ISBN ya no está disponible.

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  0792334485 ISBN 13:  9780792334484
Editorial: Springer, 1995
Tapa dura