K. R. Popper. Functional logic without axioms or primitive rules of inference. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 50 (1947), pp. 1214–1224, and ibid., pp. 561–571.

S. C. Kleene

doi:https://doi.org/10.2307/2267877

K. R. Popper. Functional logic without axioms or primitive rules of inference. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 50 (1947), pp. 1214–1224, and ibid., pp. 561–571.

S. C. Kleene · Journal of Symbolic Logic · 1948

K. R. Popper. Functional logic without axioms or primitive rules of inference. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 50 (1947), pp. 1214–1224, and ibid., pp. 561–571. - Volume 13 Issue 3

Read the paper · More papers on PaperTik