Order:
  1.  56
    (1 other version)On simplifying truth-functional formulas.Kurt Bing - 1956 - Journal of Symbolic Logic 21 (3):253-254.
  2.  51
    On the axioms of order and succession.Kurt Bing - 1957 - Journal of Symbolic Logic 22 (2):141-144.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark