Zobacz książki o podobnej tematyce

Powiadomienie o dostępności

Więcej informacji o Quantifiers: Logics, Models and Computation

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 420 punkty

Opis

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. §

Szczegóły książki

• Pełny tytuł: Quantifiers: Logics, Models and Computation
• Podtytuł: Volume Two: Contributions
• Autor: Michal Krynicki, M. Mostowski, L. W. Szczerba
• Język: Angielski
• Oprawa: Książka
• Liczba stron: 708
• EAN: 9780792334507
• ID: 01394750
• Wydawca: Springer Netherlands
• Waga: 807 g
• Wymiary: 223 × 152 mm
• Rok wydania: 1995

Ulubione w innej kategorii

---

---

---