Mohlo by se vám také líbit

Informovat o naskladnění knihy

Více informací o knize Logic Colloquium 92

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 93 bodů

Anotace knihy

Logic Colloquium '92, the European Summer Meeting of the Association for Symbolic Logic, was held in Veszprem, Hungary, in August 1992. Two of the main themes of the event were algebraic logic, and axiomatisability and decidability of logical systems. The present volume contains a selection of papers that grew out of invited and contributed talks on these themes. Most of the papers have a strong interdisciplinary flavour as they investigate logical properties of formal systems by studying algebraic properties of corresponding classes of algebras, or vice versa. The remaining papers focus on connected areas from model theory and the combination of logics. This is a useful and timely volume on algebraic logic and related areas, with contributions by leading people in the field.

Parametry knihy

Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations

• Plný název: Logic Colloquium 92
• Autor: Lazlo Csirmaz, Dov M. Gabbay, Maarten De Rijke
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 336
• EAN: 9781881526988
• ISBN: 1881526984
• ID: 05012597
• Nakladatelství: Centre for the Study of Language & Information
• Hmotnost: 454 g
• Rozměry: 228 × 152 × 19 mm
• Datum vydání: 01. June 1995

Oblíbené z jiného soudku

---

---

---