Produkt mají v nabídce:
Automata on Infinite Objects and Church's Problem - Rabin, M.
Presents an overview of certain aspects of the mathematical theory of automata. This book combines and utilizes the various methods, chiefly the method of automata on infinite trees, to obtain a simple and transparent solution of Church's solvability problem.