Mathematical logic has of course had a great run over the course of the 20th century and into the beginning of the 21st, on account of its connections with important philosophical and meta-mathematical questions and Hilbert's problems. Its cause has also been helped by very valuable applications in formal methods, verification, and validation. Even so, some areas of logic have had relatively less exposure, or have been extensively developed later-that is, within the past few decades. These areas of logic include duration calculus, linear logic, and the subject of the present book: combinatory logic (CL).
展开▼