"Logic and Computer Science. Lectures C.I.M.E" - читать интересную книгу автора (Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov,...)