Anellisa, Irving H. (Author)
Jean van Heijenoort was best known for his editorial work in the history of mathematical logic. I survey his contributions to model-theoretic proof theory, and in particular to the falsifiability tree method. This work of van Heijenoort's is not widely known, and much of it remains unpublished. A complete list of van Heijenoort's unpublished writings on tableaux methods and related work in proof theory is appended.
...MoreArticle Anellis, Irving (2012) Guest Editor's Introduction: JvH100. Logica Universalis (p. 249).
Article
Anellis, Irving;
(2012)
Editor's Introduction to Jean van Heijenoort, Historical Development of Modern Logic
(/isis/citation/CBB001214116/)
Article
Anellis, Irving;
(2012)
Guest Editor's Introduction: JvH100
(/isis/citation/CBB001214112/)
Article
Feferman, Anita Burdman;
(2012)
Jean van Heijenoort: Kaleidoscope
(/isis/citation/CBB001214114/)
Article
Dawson, John W., Jr.;
(2012)
Jean van Heijenoort and the Gödel Editorial Project
(/isis/citation/CBB001214115/)
Article
Feferman, Solomon;
(2012)
On Rereading van Heijenoort's Selected Essays
(/isis/citation/CBB001214123/)
Article
de Rouilhan, Philippe;
(2012)
In Defense of Logical Universalism: Taking Issue with Jean van Heijenoort
(/isis/citation/CBB001214124/)
Article
Babbitt, Donald;
Goodstein, Judith;
(2011)
Federigo Enriques's Quest to Prove the “Completeness Theorem”
(/isis/citation/CBB001211747/)
Article
Centrone, Stefania;
(2012)
Strenge Beweise und das Verbot der metábasis eis állo génos
(/isis/citation/CBB001210991/)
Book
John P. Burgess;
(2015)
Rigor and Structure
(/isis/citation/CBB621282384/)
Article
Cohoe, Caleb;
(2013)
There must be a First: Why Thomas Aquinas Rejects Infinite, Essentially Ordered, Causal Series
(/isis/citation/CBB001201144/)
Article
Dick, Stephanie;
(2011)
AfterMath: The Work of Proof in the Age of Human--Machine Collaboration
(/isis/citation/CBB001220009/)
Article
Abeles, Francine F.;
(2012)
Toward A Visual Proof System: Lewis Carroll's Method of Trees
(/isis/citation/CBB001214122/)
Chapter
von Plato, Jan;
(2009)
Proof Theory of Classical and Intuitionistic Logic
(/isis/citation/CBB001210351/)
Article
Anellis, Irving;
(2012)
Jean van Heijenoort's Conception of Modern Logic, in Historical Perspective
(/isis/citation/CBB001214118/)
Article
Anellis, Irving;
(2012)
Scholarly Publications of Jean van Heijenoort Compiled by Irving H. Anellis
(/isis/citation/CBB001214113/)
Article
van Heijenoort, Jean;
(2012)
Historical Development of Modern Logic
(/isis/citation/CBB001214117/)
Chapter
Antonino Drago;
(2017)
A program of research for discovering an alternative formulation of quantum mechanics
(/isis/citation/CBB592719607/)
Book
John A. Goldsmith;
Bernard Laks;
(2019)
Battle in the Mind Fields
(/isis/citation/CBB777839551/)
Book
Gabriele Lolli;
(2016)
Tavoli, sedie, boccali di birra: David Hilbert e la matematica del Novecento
(/isis/citation/CBB100106060/)
Article
David Loner;
(2020)
Alice Ambrose and the American Reception of Wittgenstein's Philosophy of Mathematics, 1935–75
(/isis/citation/CBB296871977/)
Be the first to comment!