Switch to: Citations

Add references

You must login to add references.
  1. Solvable Cases of the Decision Problem.W. Ackermann - 1954 - Amsterdam: North-Holland Pub. Co..
  • Unsolvable Classes of Quantificational Formulas.Harry R. Lewis - 1979 - Addison-Wesley.
  • The Decision Problem: Solvable Classes of Quantificational Formulas.Burton Dreben - 1979 - Addison-Wesley, Advanced Book Program.
  • Einführung in die mathematische Logik.G. Asser - 1963 - Studia Logica 14:343-345.
    Translate
     
     
    Export citation  
     
    Bookmark   18 citations  
  • Reduktionstheorie des Entscheidungsproblems Im Prädikatenkalkül der Ersten Stufe.János Surányi - 1959 - Veb Deutscher Verlag der Wissenschaften.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   17 citations