num_pages: 492
description: This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises.
language: English
title: The Classical Decision Problem
titlecomplete: The Classical Decision Problem
ratings_count: 1
publisher: Springer