Switch to: References

Add citations

You must login to add citations.
  1. Towards feasible solutions of the tautology problem.Bradford Dunham & Hao Wang - 1976 - Annals of Mathematical Logic 10 (2):117-154.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations