@article{Church1936-CHUAUP,
    Author = {Church, Alonzo},
    File = {church (1) - a - a - e.pdf},
    Journal = {Journal of Symbolic Logic},
    Number = {2},
    Pages = {73--74},
    Publisher = {Association for Symbolic Logic},
    Title = {An Unsolvable Problem of Elementary Number Theory},
    Volume = {1},
    Year = {1936},
    bdsk-url-1 = {https://doi.org/10.2307/2268571},
    date-added = {2019-07-11 20:19:55 +0100},
    date-modified = {2019-07-11 20:19:55 +0100},
    doi = {10.2307/2268571}
}

@article{Church1936-CHUAUP, Author = {Church, Alonzo}, File = {church (1) - a - a - e.pdf}, Journal = {Journal of Symbolic Logic}, Number = {2}, Pages = {73--74}, Publisher = {Association for Symbolic Logic}, Title = {An Unsolvable Problem of Elementary Number Theory}, Volume = {1}, Year = {1936}, bdsk-url-1 = {https://doi.org/10.2307/2268571}, date-added = {2019-07-11 20:19:55 +0100}, date-modified = {2019-07-11 20:19:55 +0100}, doi = {10.2307/2268571} }