Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Collected works of A.M.Turing. Mathematical logic.
Авторы: Gandy R., Yates C.
The book contains a collection of papers on mathematical logic written by the eminent mathematician and the "father of computer" Alan Turing. The papers are accompanied by the historical comments and prefaces.