@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}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A