Logic from Russell to Church

Covers the first fifty years of the development of mathematical logic in the 20th century. This title focuses on the achievements of the great names of the period; Russell, Post, Godel, Tarski, Church, and the like. It is suitable for senior undergraduates, graduate students and researchers in the history of logic and various other disciplines.