default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic from Russell to Church 2009
- Dov M. Gabbay, John Woods:
Logic from Russell to Church. Handbook of the History of Logic 5, Elsevier 2009, ISBN 978-0-444-51620-6 - Dov M. Gabbay, John Woods:
Preface. - Andrew David Irvine:
Bertrand Russell's Logic. 1-28 - Dale Jacquette:
Logic for Meinongian Object Theory Semantics. 29-76 - Joan Rand Moschovakis:
The Logic of Brouwer and Heyting. 77-125 - Jens Erik Fenstad, Hao Wang:
Thoralf Albert Skolem. 127-194 - Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller
, Serge Autexier:
Jacques Herbrand: Life, Logic, and Automated Deduction. 195-254 - Michael Potter:
The Logic of The Tractatus. 255-304 - Peter M. Simons:
Leśniewski's Logic. 305-320 - Wilfried Sieg:
Hilbert's Proof Theory. 321-384 - Barry Hartley Slater:
Hilbert's Epsilon Calculus and its Successors. 385-448 - Mark van Atten, Juliette Kennedy:
Gödel's Logic. 449-509 - Keith Simmons:
Tarski's Logic. 511-616 - Alasdair Urquhart:
Emil Post. 617-666 - Jan von Plato:
Gentzen's Logic. 667-721 - Felice Cardone, J. Roger Hindley:
Lambda-Calculus and Combinators in the 20th Century. 723-817 - Jonathan P. Seldin:
The Logic of Church and Curry. 819-873 - Andrea Cantini:
Paradoxes, Self-Reference and Truth in the 20th Century. 875-1013
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
