Works by Emil Post

( view other items matching `Emil Post`, view all matches )
8 found
Order:
Disambiguations
Emil L. Post [14]Emil Leon Post [3]
  1.  244
    Finite combinatory processes—formulation.Emil L. Post - 1936 - Journal of Symbolic Logic 1 (3):103-105.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   43 citations  
  2.  98
    The two-valued iterative systems of mathematical logic.Emil Leon Post - 1941 - London,: H. Milford, Oxford university press.
    INTRODUCTION In ita original form the present paper was presented to the American Mathematical Society, April 2k,, as a companion piece to the writer's ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  3.  60
    Recursive unsolvability of a problem of thue.Emil L. Post - 1947 - Journal of Symbolic Logic 12 (1):1-11.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  4.  27
    The Upper Semi-Lattice of Degrees of Recursive Unsolvability.S. C. Kleene & Emil L. Post - 1956 - Journal of Symbolic Logic 21 (4):407-408.
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  5.  26
    Emil L. Post. Finite combinatory processes—formulation 1. The journal of symbolic logic, vol. 1 (1936), pp. 103–105.Alonzo Church & Emil L. Post - 1937 - Journal of Symbolic Logic 2 (1):43-43.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  24
    The modern paradoxes.Emil L. Post & I. Grattan-Guinness - 1990 - History and Philosophy of Logic 11 (1):85-91.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  3
    Introduction to a general theory of elementary propositions.Emil Leon Post - 1920 - [Baltimore]:
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  35
    Note on a conjecture of Skolem.Emil L. Post - 1946 - Journal of Symbolic Logic 11 (3):73-74.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation