Mathematical logic

Alan Mathison Turing (1912-1954) made major contributions to several areas of science. He was a pioneer researcher in computer architecture and software engineering - his work in pure mathematics and mathematical logic, which this volume examines, extended considerably further.続きを読む