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 un

В наличии:
	Sprinter - 5510 руб.	Перейти

Рейтинг книги: 5 из 5, 6 голос(-ов).