The Classical Decision Problem
- Vydavateľstvo
- Springer Verlag, 2001
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... Čítať viac
- Brožovaná väzba
- Angličtina