Reviews matching “Reduction of the decision problem to formulae containing a bounded number of quantifiers only”

1 result

BookAuthorReviewerJournalDate
Reduction of the decision problem to formulae containing a bounded number of quantifiers only János Surányi Andrzej Mostowski The Journal of Symbolic Logic 1949-06-23

Open this search with filters