Kahr, A. S.; Moore, Edward F.; Wang, Hao Entscheidungsproblem reduced to the (all)(exist)(all) case. (English) Zbl 0102.00801 Proc. Natl. Acad. Sci. USA 48, 365-377 (1962). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 23 Documents Keywords:logics, foundations, philosophy PDF BibTeX XML Cite \textit{A. S. Kahr} et al., Proc. Natl. Acad. Sci. USA 48, 365--377 (1962; Zbl 0102.00801) Full Text: DOI