Logic from Russell to Church
Edited by- Dov M. Gabbay, King's College London, UK
- John Woods, University of British Columbia, Vancouver, Canada
Audience
Researchers and graduate students in all areas of logic: Historians of logic, computer scientists, AI theorists, theorists of legal reasoning, cognitive psychologists.
Included in series
Handbook of the History of Logic
Handbook of the History of Logic
Hardbound, 1068 Pages
Published: May 2009
Imprint: North-holland
ISBN: 978-0-444-51620-6
Contents
- PrefaceList of ContributorsRussell'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ödels Logic (Mark van Atten and Juliette Kennedy)Tarskis Logic (Keith Simmons)Emil Post (Alasdair Urquhart)Gentzens 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
