Logic Colloquium '92, the European Summer Meeting of the Association for Symbolic Logic, was held in Veszprém, 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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
EUR 29,91 expédition depuis Etats-Unis vers France
Destinations, frais et délaisVendeur : Book House in Dinkytown, IOBA, Minneapolis, MN, Etats-Unis
Paperback. Etat : Very Good. 74th ed. Very good paperback with very good text. Previous owner's inscription on front endpaper, otherwise text very good. Exterior has light shelfwear and bumping; otherwise very good. Ships from Dinkytown in Minneapolis, Minnesota. N° de réf. du vendeur 277371
Quantité disponible : 1 disponible(s)
Vendeur : HJP VERSANDBUCHHANDLUNG, WEDEL, SH, Allemagne
Softcover. Etat : Good. 1st Edition. 319 p. [STUDIES IN LOGIC, LANGUAGE AND INFORMATION]. N° de réf. du vendeur 015816
Quantité disponible : 1 disponible(s)