Librería:
BooksRun, Philadelphia, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 2 de febrero de 2016
It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience. N° de ref. del artículo 1881526976-11-1
Two of the main themes of the Logic Colloquium '92 were algebraic logic, and axiomatisability and decidability of logical systems. This is a useful and timely volume on algebraic logic and related areas, with contributions by leading people in the field.
Reseña del editor: 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.
Título: Logic Colloquium '92 (Studies in Logic, ...
Editorial: Center for the Study of Language and Inf (edition 74th ed.)
Año de publicación: 1995
Encuadernación: Hardcover
Condición: Good
Edición: 74th ed.