Mathematical Logic

Mathematical Logic is a collection of the works of one of the leading figures in 20th-century science. This collection of A.M. Turing''s works is intended to include all his mature scientific writing, including a substantial quantity of unpublished material. His work in pure mathematics and mathematical logic extended considerably further; the work of his last years, on morphogenesis in plants, is...