%0 Journal Article %1 journals/ndjfl/Patton65 %A Patton, Thomas E. %D 1965 %J Notre Dame J. Formal Log. %K dblp %N 2 %P 147-153 %T Church's theorem on the decision problem. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl6.html#Patton65 %V 6

@article{journals/ndjfl/Patton65, added-at = {2020-05-21T00:00:00.000+0200}, author = {Patton, Thomas E.}, biburl = {https://www.bibsonomy.org/bibtex/24a6f31ab061b1d8d41c348fc278d1a2b/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093958155}, interhash = {a548cffde76cbca9897f1bb4086c4740}, intrahash = {4a6f31ab061b1d8d41c348fc278d1a2b}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 2, pages = {147-153}, timestamp = {2020-05-23T12:17:24.000+0200}, title = {Church's theorem on the decision problem.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl6.html#Patton65}, volume = 6, year = 1965 }