Switch to: References

Add citations

You must login to add citations.
  1. Jean van Heijenoort’s Contributions to Proof Theory and Its History.Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):411-458.
    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.
    Download  
     
    Export citation  
     
    Bookmark  
  • Jean van Heijenoort’s Conception of Modern Logic, in Historical Perspective.Irving H. Anellis - 2012 - Logica Universalis 6 (3):339-409.
    I use van Heijenoort’s published writings and manuscript materials to provide a comprehensive overview of his conception of modern logic as a first-order functional calculus and of the historical developments which led to this conception of mathematical logic, its defining characteristics, and in particular to provide an integral account, from his most important publications as well as his unpublished notes and scattered shorter historico-philosophical articles, of how and why the mathematical logic, whose he traced to Frege and the culmination of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation