[BAKER, G., & HACKER, P. (1988). Wittgenstein: Rules, Grammar and Necessity. Oxford: Basil Blackwell.]Search in Google Scholar
[BRADLEY, R. (1992). The Nature of All Being. Oxford: Oxford University Press.]Search in Google Scholar
[DUMMETT, M. (1977). Elements of Intuitionism. Oxford: Clarendon Press.]Search in Google Scholar
[DUMMETT, M. (1991). The Logical Basis of Methaphysics. Cambridge: Harvard University Press.]Search in Google Scholar
[DUMMETT, M. (1993). The Seas of Language. Oxford: Claredon Press.]Search in Google Scholar
[DUMMETT, M. (1978). Truth and Other Enigmas. Cambridge: Harvard University Press.]Search in Google Scholar
[DUMMETT, M. (1998). Truth from a Constructive Stanpoint. Theoria, LXIV, 122-38.10.1111/j.1755-2567.1998.tb00184.x]Search in Google Scholar
[FRASCOLLA, P. (1994). Wittgenstein’s Philosophy of Mathematics. Londres: Routledge.]Search in Google Scholar
[FREGE, G. (1977a). Logical Investigations. Oxford: Basil Blackwell.]Search in Google Scholar
[FREGE, G. (1964). The Basic Laws of Arithmetic. Berkeley: California University Press.10.1525/9780520312364]Search in Google Scholar
[FREGE, G. (1978). The Foundations of Arithmetic. Oxford: Basil Blackwell.]Search in Google Scholar
[FREGE, G. (1977). Traslations from the Philosophical Writtings of Gottlob Frege. Oxford: Basil Blackwell.]Search in Google Scholar
[GARDINER, A. (1982). Infinite Process: backgound to Analysis. New York: Springer-Verlag.10.1007/978-1-4612-5654-0]Search in Google Scholar
[KRIPKE, S. (1972). Wittgenstein on Rules and Private Language. Oxford: Basil Blackwell.]Search in Google Scholar
[MARION, M. (2008). Wittgenstein, Finitism and the Foundations of Mathematics. Oxford: Oxford University Press.10.1093/acprof:oso/9780199550470.001.0001]Search in Google Scholar
[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.]Search in Google Scholar
[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.]Search in Google Scholar
[MARTIN-LÖF, P. (1984). Intuitionistic Type Theory. Napoles: Bibliopolis.]Search in Google Scholar
[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.]Search in Google Scholar
[MARTIN-LÖF, P. (1995). Truth and Kwowability: On the Principles C and K of Michael Dummett. Second International Philosophy Conference of Mussomeli. Typescript.]Search in Google Scholar
[MARTIN-LÖF, P. (1987). Truth of a propostion, Evidence fo a Judgement, validity of a Proof. Synthese , 73, pp. 407-420.10.1007/BF00484985]Search in Google Scholar
[PARSONS, C. (1983). Mathematics into Philosophy. Ithaca: Cornell University Press.]Search in Google Scholar
[PRAWITZ, D. (1977). The conflict between classical and Intuitionistic logic. Theoria , pp. 2-39.10.1111/j.1755-2567.1977.tb00776.x]Search in Google Scholar
[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.]Search in Google Scholar
[QUINE, W. V. (1969). Ontological Relativity. In: W. V. QUINE, Ontological Relativity and Other Essays (pp. 26-68). Nova Iorque: Columbia University Press.10.7312/quin92204]Search in Google Scholar
[QUINE, W. V. (1992). Pursuit of Truth. Cambridge: Harvard.]Search in Google Scholar
[QUINE, W. V. (1960). Word and Object. Cambridge: MIT.]Search in Google Scholar
[SHANKER, S. (1987). Wittgenstein and the turning point in the Philosophy of Mathematics. Londres: Croom Helm.]Search in Google Scholar
[SKÖLEM, T. (1952,). Sobre la Naturaleza do Razonamento Matemático. Gazeta Matemática , n° 4, pp. 113-124.]Search in Google Scholar
[STENLUND, S. (1990). Language and Philosophical Problems. London: Routledge.]Search in Google Scholar
[VAN HEIJENOORT, J. (1967). Form Frege to Gödel: a Source book in Mathematical Logic. Cambridge: Harvard University Press.]Search in Google Scholar
[WAISMANN, F. (1979). Wittgenstein and the Viena Circle. Oxford: Basil Blackwell.]Search in Google Scholar
[WEYL, H. (1963). Philosophy of Mathematics and Natural Science. Nova Iorque: Atheneum.]Search in Google Scholar
[WITTGENSTEIN, L. (1976). Lectures on the Foundations of Mathematics - Cambridge 1939. Chicago: Chicago Press.]Search in Google Scholar
[WITTGENSTEIN, L. (2005a). Philosophical Investigations. Oxford: Basil Blackwell.]Search in Google Scholar
[WITTGENSTEIN, L. (1993). Philosophical Occasions: 1912-1951. Cambridge: Hackett Publishing Company.]Search in Google Scholar
[WITTGENSTEIN, L. (1975). Philosophical Remarks. Oxford: Basil Blackwell.]Search in Google Scholar
[WITTGENSTEIN, L. (1983). Remarks on the Foundations of Mathematics. Cambridge: MIT.]Search in Google Scholar
[WITTGENSTEIN, L. (2005). The Big Typescript. Oxford: Basil Blackwell.10.1002/9780470752906]Search in Google Scholar
[WITTGENSTEIN, L. (1961). Tractatus Logico-Philosophicus. London: Routledge & Kegan Paul.]Search in Google Scholar
[WITTGENSTEIN, L. (1976). Wittgenstein’s Lectures on the Foundations of Mathematics. (C. Diamond, Ed.) Hassocks: The Harvester.]Search in Google Scholar
[WITTGENSTEIN, L. (1979). Wittgenstein’s Lectures: Cambridge 1932-1935. Totowa: Roman & Littlefield.]Search in Google Scholar
[WITTGENSTEIN, L. (1979). Wittgenstein’s Lectures: Cambridge 1932-1935. Totowa: Roman and Littlefield.]Search in Google Scholar
[WRIGHT, C. (1993). Realism, Meangin and Truth. Oxford: Blackwell.]Search in Google Scholar
[WRIGHT, C. (1980). Wittgenstein on the Foundations of Mathematics. Hampshire: Gower House.]Search in Google Scholar
