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 years of the twentieth century; 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.

. The entire range of modal logic is covered
. Serves as a singular contribution to the intellectual history of the 20th century
. Contains the latest scholarly discoveries and interpretative insights

Preface
List of Contributors
Russell's Logic (Andrew D. Irvine)
Logic for Meinongian Object Theory Semantics (Dale Jacquette)
The Logic of Brouwer and Heyting (Joan Rand Moschovakis)
Thoralf Albert Skolem (Jens Erik Fenstad and Hao Wang)
The Logic of the Tractatus (Michael Potter)
Lesniewski's Logic (Peter Simons)
Hibert's Proof Theory (Wilfried Sieg)
Hilbert's Epsilon Calculus and its Successors (Hartly Slater)
Gödel's Logic (Mark van Atten and Juliette Kennedy)
Tarski's Logic (Keith Simmons)
Emil Post (Alasdair Urquhart)
Gentzen's Logic (Jan von Plato)
Lambda-calculus and Combinators in the 20th Century (Felice Cardone and J. Roger Hindley)
The Logic of Church and Curry (Jonathan P. Seldin)
Paradoxes, Self-reference and Truth in the Twentieth Century (Andrea Cantini)
index