References
- BAKER, G., & HACKER, P. (1988). Wittgenstein: Rules, Grammar and Necessity. Oxford: Basil Blackwell.
- BRADLEY, R. (1992). The Nature of All Being. Oxford: Oxford University Press.
- DUMMETT, M. (1977). Elements of Intuitionism. Oxford: Clarendon Press.
- DUMMETT, M. (1991). The Logical Basis of Methaphysics. Cambridge: Harvard University Press.
- DUMMETT, M. (1993). The Seas of Language. Oxford: Claredon Press.
- DUMMETT, M. (1978). Truth and Other Enigmas. Cambridge: Harvard University Press.
- DUMMETT, M. (1998). Truth from a Constructive Stanpoint. Theoria, LXIV, 122-38.
- FRASCOLLA, P. (1994). Wittgenstein’s Philosophy of Mathematics. Londres: Routledge.
- FREGE, G. (1977a). Logical Investigations. Oxford: Basil Blackwell.
- FREGE, G. (1964). The Basic Laws of Arithmetic. Berkeley: California University Press.
- FREGE, G. (1978). The Foundations of Arithmetic. Oxford: Basil Blackwell.
- FREGE, G. (1977). Traslations from the Philosophical Writtings of Gottlob Frege. Oxford: Basil Blackwell.
- GARDINER, A. (1982). Infinite Process: backgound to Analysis. New York: Springer-Verlag.
- KRIPKE, S. (1972). Wittgenstein on Rules and Private Language. Oxford: Basil Blackwell.
- MARION, M. (2008). Wittgenstein, Finitism and the Foundations of Mathematics. Oxford: Oxford University Press.
- MARTIN-LÖF, P. (1991). A Path from Logic to Metaphysics. Atti del Congresso Nuovi problemi della Logica e della Filosofia dela Scienza. II, pp. 141-9. Bologna: CLUEB.
- MARTIN-LÖF, P. (1979). Constructive Mathematics and Computer Science. VI International Congress for Logic, Methodology and Philosophy of Science (pp. 1-33). Hannover: Manuscript.
- MARTIN-LÖF, P. (1984). Intuitionistic Type Theory. Napoles: Bibliopolis.
- MARTIN-LÖF, P. (1996). On the Meanings of the Logical Constants and the Justifications of the Logical Laws. Nordic Journal of Philosophical Logic , I, pp. 11-60.
- MARTIN-LÖF, P. (1995). Truth and Kwowability: On the Principles C and K of Michael Dummett. Second International Philosophy Conference of Mussomeli. Typescript.
- MARTIN-LÖF, P. (1987). Truth of a propostion, Evidence fo a Judgement, validity of a Proof. Synthese , 73, pp. 407-420.
- PARSONS, C. (1983). Mathematics into Philosophy. Ithaca: Cornell University Press.
- PRAWITZ, D. (1977). The conflict between classical and Intuitionistic logic. Theoria , pp. 2-39.
- PRAWITZ, D. (1998). Truth and Objectivity form a verificationist point of view. In: G. OLIVERI, & H. DALES, Truth in Mathematics (pp. 41-51). Oxford: Claredon Press.
- QUINE, W. V. (1969). Ontological Relativity. In: W. V. QUINE, Ontological Relativity and Other Essays (pp. 26-68). Nova Iorque: Columbia University Press.
- QUINE, W. V. (1992). Pursuit of Truth. Cambridge: Harvard.
- QUINE, W. V. (1960). Word and Object. Cambridge: MIT.
- SHANKER, S. (1987). Wittgenstein and the turning point in the Philosophy of Mathematics. Londres: Croom Helm.
- SKÖLEM, T. (1952,). Sobre la Naturaleza do Razonamento Matemático. Gazeta Matemática , n° 4, pp. 113-124.
- STENLUND, S. (1990). Language and Philosophical Problems. London: Routledge.
- VAN HEIJENOORT, J. (1967). Form Frege to Gödel: a Source book in Mathematical Logic. Cambridge: Harvard University Press.
- WAISMANN, F. (1979). Wittgenstein and the Viena Circle. Oxford: Basil Blackwell.
- WEYL, H. (1963). Philosophy of Mathematics and Natural Science. Nova Iorque: Atheneum.
- WITTGENSTEIN, L. (1976). Lectures on the Foundations of Mathematics - Cambridge 1939. Chicago: Chicago Press.
- WITTGENSTEIN, L. (2005a). Philosophical Investigations. Oxford: Basil Blackwell.
- WITTGENSTEIN, L. (1993). Philosophical Occasions: 1912-1951. Cambridge: Hackett Publishing Company.
- WITTGENSTEIN, L. (1975). Philosophical Remarks. Oxford: Basil Blackwell.
- WITTGENSTEIN, L. (1983). Remarks on the Foundations of Mathematics. Cambridge: MIT.
- WITTGENSTEIN, L. (2005). The Big Typescript. Oxford: Basil Blackwell.
- WITTGENSTEIN, L. (1961). Tractatus Logico-Philosophicus. London: Routledge & Kegan Paul.
- WITTGENSTEIN, L. (1976). Wittgenstein’s Lectures on the Foundations of Mathematics. (C. Diamond, Ed.) Hassocks: The Harvester.
- WITTGENSTEIN, L. (1979). Wittgenstein’s Lectures: Cambridge 1932-1935. Totowa: Roman & Littlefield.
- WITTGENSTEIN, L. (1979). Wittgenstein’s Lectures: Cambridge 1932-1935. Totowa: Roman and Littlefield.
- WRIGHT, C. (1993). Realism, Meangin and Truth. Oxford: Blackwell.
- WRIGHT, C. (1980). Wittgenstein on the Foundations of Mathematics. Hampshire: Gower House.