Works by G. Helman

( view other items matching `G. Helman`, view all matches )
5 found
Order:
Disambiguations
Glen Helman [4]G. Helman [2]G. H. Helman [1]Glen Harry Helman [1]
  1. Proofs and epistemic structure.Glen Helman - 1992 - In Michael Detlefsen (ed.), Proof, Logic and Formalization. London, England: Routledge. pp. 24.
    $55.16 new   $72.37 used   (collection)    View on Amazon.com
     
    Export citation  
     
    Bookmark   4 citations  
  2.  23
    Completeness of the normal typed fragment of the λ-system U.Glen Helman - 1977 - Journal of Philosophical Logic 6 (1):33 - 46.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  16
    On the equivalence of proofs involving identity.Glen Helman - 1987 - Notre Dame Journal of Formal Logic 28 (3):297-321.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  42
    An interpretation of classical proofs.Glen Helman - 1983 - Journal of Philosophical Logic 12 (1):39 - 71.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5. G. BOOLOS "The logic of provability". [REVIEW]G. Helman - 1995 - History and Philosophy of Logic 16 (2):284.
     
    Export citation  
     
    Bookmark