[1] Aghaei, M., On proof theory, Mathematical Culture and Thought, 35 (2005), 55-71. [in Persian]
[2]Benacerraf, P., Putnam, H., Introduction, in Philosophy of Mathematics: Selected Readings, P. Benacerraf, H. Putnam, eds., Cambridge University Press, Cambridge, 1983.
[3] Cevik, A., Philosophy of Mathematics: Classic and Contemporary Studies, Chapman & Hall/CRC,
2021.
[4] Girard, J.-Y., Proof theory and logical complexity, vol. I, Bibliopolis, Naples, 1987.
[5] Hamkins, J. D., Lewis, A., Infinite time Turing machines, J. Symbolic Logic, 65 (2000), 567–604.
[6] Ignjatović, A., Hilbert’s program and the omega-rule, J. Symbolic Logic, 59 (1994), 322-343.
[7] Manchak, J. B., Roberts, B. W., Supertasks (2016), in The Stanford
Encyclopedia of Philosophy, E. N. Zalta, ed., available at
[8] Moniri, M., Mathematical Culture and Thought, 35 (2005), 33-55. [in Persian]
[9]Moniri, M., Philisophies of Mathematics, Shahid Beheshti Uni. Press, Tehran, 2011. [in Persian]
[10] Raatikainen, P., Gödel’s iIncompleteness theorems (2022), in The
Stanford Encyclopedia of Philosophy, E. N. Zalta, ed., available at
https://plato.stanford.edu/entries/goedel-incompleteness/.
[11] Rathjen, M., Sieg, W., Proof theory (2020), in The Stanford Encyclopedia of Philosophy, E. N. Zalta,
ed., available at https://plato.stanford.edu/entries/proof-theory/.
[12] Warren, J., Infinite reasoning, Philosophy and Phenomenological Research, 103 (2021), 385-407.
[13] Warren, J., Waxman, D., Supertasks and arithmetical truth, Philosophical Studies, 177 (2020), 1275-
1282.
[14] Warren, J., Waxman, D., A metasemantic challenge for mathematical determinacy, Synthese, 197
(2020), 477-495.
