References
A. Blass, J. Hirst, and S. Simpson, “Logical analysis of some theorems of combinatorics and topological dynamics,” inLogic and Combinatorics (ed. S. Simpson), AMS Contemporary Mathematics vol, 65, 1987, pp. 125–156.
S. Feferman, “Systems of Predicative Analysis,”Journal of Symbolic Logic 29, no. 1 (1964), 1–30.
H. Poincaré,The Value of Science (1905), inThe Foundations of Science, ed. and trans. G. Halsted, The Science Press, 1946.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Arana, A. In the light of logic. The Mathematical Intelligencer 27, 38–40 (2005). https://doi.org/10.1007/BF02985859
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF02985859