This VIAF Cluster has been deleted. It is no longer part of VIAF.
Dreben, Burton. | Decision problem solvable classes of quantificational formulas
VIAF ID: 314664157 ( Unknown Name Type )
Permalink: http://viaf.org/viaf/314664157
Preferred Forms
4xx's: Alternate Name Forms (2)
Selected Titles
Author
:
Dreben, Burton.