Logic from Russell to Church

This volume is the number five in the eleven volume. Handbook of the History of Logic. It covers the first days of Russell, Post, Gödel, Tarski, Church, and the like. This was the period in which mathematical logic gave the expression of the four main elements. Theory set theory, model theory, proof theory and recursion theory. Collectively this work ranks as one of the greatest achievements of our intellectual history. Written by a group of students in the world of science, graduate students and students in the history of mathematics , artificial intelligence, for whom the work is a salient consideration.

. There is no other work in English.
. Authors of chapters are leading scholars.
. Some chapters are the size of small monographs.
. The entire range of modal logic is covered.
. A singular contribution to the intellectual history of the 20th century.
. Contains the latest scholarly discoveries and interpretative insights