Reduction of the decision problem to formulae containing a bounded number of quantifiers only

Name: Reduction of the decision problem to formulae containing a bounded number of quantifiers only
Author: János Surányi

by János Surányi · 1 review · 1949

Reviewed by	Journal	Date	Access
Andrzej Mostowski	The Journal of Symbolic Logic	1949-06-23	Restricted

Also by Surányi