Entscheidungsproblem Reduced to the ∀ ∃ ∀ Case
A. S. Kahr, Edward F. Moore and Hao WangVolume:
48
Language:
english
Journal:
Proceedings of the National Academy of Sciences of the United States of America
DOI:
10.2307/71207
Date:
March, 1962
File:
PDF, 468 KB
english, 1962