What Is Computable Set Theory?
Set theory, conceived toward the end of the nineteenth century, shaped the language of today’s mathematics. It should provide, essentially for the same reasons, the standard ingredients for the language of computer science as that discipline progresses out of its own infancy. This book aims to bring to light evidence that such a task can indeed be rewarding, by developing tools (algorithmic, as well as conceptual) for better and deeper exploitation of Set theory in computer science.
KeywordsLogic Programming Decision Algorithm Axiomatic System Program Transformation Computational Logic
Unable to display preview. Download preview PDF.