Logic Colloquium 92 (Hardcover)

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.

General

Imprint:	Centre for the Study of Language & Information
Country of origin:	United States
Series:	Studies in Logic Language and Information
Release date:	October 1995
First published:	October 1995
Editors:	Laszlo Czirmaz • Dov M. Gabbay • Maarten de Rijke
Dimensions:	228 x 152 x 23mm (L x W x T)
Format:	Hardcover
Pages:	336
ISBN-13:	978-1-881526-97-1
Categories:	Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
LSN:	1-881526-97-6
Barcode:	9781881526971

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!