Switch to: References

Add citations

You must login to add citations.
  1. Triadic partial implicational propositional calculi.Charles E. Hughes - 1975 - Mathematical Logic Quarterly 21 (1):21-28.
  • A New General Approach to the Theory of the Many‐One Equivalence of Decision Problems for Algorithmic Systems.Egon Börger - 1979 - Mathematical Logic Quarterly 25 (7-12):135-162.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation