Logic from Russell to Church
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
This item is not currently in-stock. It can be ordered online and is expected to ship in approx 2 weeks
Our stock data is updated periodically, and availability may change throughout the day for in-demand items. Please call the relevant shop for the most current stock information. Prices are subject to change without notice.
Sign in or become a Readings Member to add this title to a wishlist.