The Classical Decision Problem

The Classical Decision Problem

Overview

This book provides a thorough examination of the classical decision problem within mathematical logic. It explores the problem's significance in the context of contemporary computer science. The text offers a clear analysis of the natural ordering of decidable and undecidable scenarios. It includes several straightforward proofs and exercises to aid understanding.

Who it's for

• Students and researchers in mathematical logic.
• Professionals interested in the theoretical foundations of computer science.
• Individuals seeking a detailed understanding of computability theory.

Key features

• Language: English
• Pages: 482
• Binding: Paperback
• ISBN: 9783540423249
• Publisher: Springer
• Year: 2001