Switch to: References

Add citations

You must login to add citations.
  1. Consistency notions in illative combinatory logic.M. W. Bunder - 1977 - Journal of Symbolic Logic 42 (4):527-529.
  • G‐Stratification is Equivalent to F‐Stratification.C. B. Ben-Yelles - 1981 - Mathematical Logic Quarterly 27 (8‐10):141-150.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • G_‐Stratification is Equivalent to _F‐Stratification.C. B. Ben-Yelles - 1981 - Mathematical Logic Quarterly 27 (8-10):141-150.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation