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. . . .