A Note on the Entscheidungsproblem, The Journal of Symbolic Logic (1936)

by Alonzo Church
Venue:World Intellectual Property Organization,PCT/US1982/000845, ISSN: 00224812 Abstract: http://links.jstor.org/sici?sici=00224812%28193603%291%3A1%3C40%3AANOTE%3E2.0.CO%3B2-D 200 Oehler, Riskin and Gray 1993) Pamela C.Cosman, Kivanc L.Oehle, Eve A.Riskin, an