Burton Dreben profile picture

Burton Dreben

Stand Alone

Decision Problem : Solvable Classes of Quantificational Formulas
The Decision Problem: Solvable Classes of Quantificational Formulas