@article{Richardson:JSL:1968,
    doi = {10.2307/2271358},
    url = {https://doi.org/10.2307%2F2271358},
    date-added    = "2022-12-06 15:00:02 +0100",
    date-modified = "2023-08-21 15:06:48 +0200",
    year = {1968},
    month = {jan},
    publisher = {Cambridge University Press ({CUP})},
    volume = {33},
    number = {4},
    pages = {514--520},
    author = {Daniel Richardson},
    title = {Some undecidable problems involving elementary functions of a real variable},
    journal = {Journal of Symbolic Logic},
    URL           = "http://www.jstor.org/stable/2271358"
}

@article{Richardson:JSL:1968, doi = {10.2307/2271358}, url = {https://doi.org/10.2307%2F2271358}, date-added = "2022-12-06 15:00:02 +0100", date-modified = "2023-08-21 15:06:48 +0200", year = {1968}, month = {jan}, publisher = {Cambridge University Press ({CUP})}, volume = {33}, number = {4}, pages = {514--520}, author = {Daniel Richardson}, title = {Some undecidable problems involving elementary functions of a real variable}, journal = {Journal of Symbolic Logic}, URL = "http://www.jstor.org/stable/2271358" }