Logic from Russell to Church

Preface List of Contributors Russell’s Logic(A ndrew D. Irvine) Logic for Meinongian Object Theory Semanti cs (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 Proo f Theory (Wilfried Sieg) Hilbert’s Epsilon Calculus and its Successors(Hartly Slater) G del s Logic (Mark van Atten an d 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 a nd Truth in the Twentieth Century (Andrea Cantini) Index