@article{Kleene_1945,
    doi = {10.2307/2269016},
    url = {https://doi.org/10.2307%2F2269016},
    year = {1945},
    month = {dec},
    publisher = {Cambridge University Press ({CUP})},
    volume = {10},
    number = {4},
    pages = {109--124},
    author = {S. C. Kleene},
    title = {On the interpretation of intuitionistic number theory},
    journal = {Journal of Symbolic Logic}
}

@article{Kleene_1945, doi = {10.2307/2269016}, url = {https://doi.org/10.2307%2F2269016}, year = {1945}, month = {dec}, publisher = {Cambridge University Press ({CUP})}, volume = {10}, number = {4}, pages = {109--124}, author = {S. C. Kleene}, title = {On the interpretation of intuitionistic number theory}, journal = {Journal of Symbolic Logic} }