Quantifiers: Logics, Models and Computation (2 vols.set/ 2 Bände KOMPLETT) - Vol.I: Surveys/ Vol.II: Contributions. Synthese Library, 248/ 249

Krynicki, Michal, M. Mostowski and L.W. Szczerba:

ISBN 10: 0792334507 / ISBN 13: 9780792334507

Published by Kluwer Academic Publ.;, 1995

About this Item

418/ 269 Seiten; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (Rückenschild, Instituts-Stempel.). KOMPLETTPREIS für 2 Bände; Text in ENGLISCHER Sprache; Sprache: Englisch Gewicht in Gramm: 1350.

Seller Inventory # 2152533

Bibliographic Details

• Title: Quantifiers: Logics, Models and Computation (2 vols.set/ 2 Bände KOMPLETT) - Vol.I: Surveys/ Vol.II: Contributions. Synthese Library, 248/ 249
• Publisher: Kluwer Academic Publ.
• Publication Date: 1995
• Language: English
• ISBN 10: 0792334507
• ISBN 13: 9780792334507
• Binding: gebundene Ausgabe
• Condition: Gut
• Weight: 1350 grams
• Seller catalogs:
  • 200 Mathematik

About this title

Synopsis

The quantifier concept is central to current logical investigations. Quantifiers: Logics, Models and Computation. Volume Two: Contributions contains twelve research papers devoted to generalized quantifiers and their applications. It offers an exhaustive survey of logical methods that are useful in investigations involving generalized quantifiers. Both model-theoretical and proof-theoretical approaches are well represented. Moreover, some papers focus on the applications of logical theory, particularly in relation to semantics of natural language. The volume includes a wide-ranging survey of logical methods which are useful in investigations into generalized quantifiers.
The book is the second volume of a large collection. The first volume - Quantifiers: Logics, Models and Computation. Volume One: Surveys - contains a collection of survey papers on selected, well-defined areas organized around the quantifier concept. Volumes One and Two are complementary.
For logicians, mathematicians, philosophers, linguists and computer scientists. Also suitable as a text for advanced undergraduate or graduate specialized courses in logic.