




Logic Colloquium '92
CSLI, 1995 eISBN: 9781684000050  Paper: 9781881526988  Cloth: 9781881526971 Library of Congress Classification BC135.L576 1995 Dewey Decimal Classification 511.3
ABOUT THIS BOOK  TOC
ABOUT THIS BOOK
Logic Colloquium '92, the European Summer Meeting of the Association for Symbolic Logic, was held in Veszpre;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. See other books on: de Rijke, Maarten  Gabbay, Dov M.  Logic  Logic, Symbolic and mathematical  Mathematics See other titles from CSLI 
Nearby on shelf for Logic:
 