Martin Davis, « Gödel Kurt. Eine Interpretation des intuitionistischen Aussagenkalküls (1933f). A reprint of 41812. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 300, 302. Gödel Kurt. An interpretation of the intuitionistic propositional calculus (1933f). English translation by John Dawson of the preceding. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 301, 303. Troelstra A. S.. Introductory note to 1933f. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 296– 299. », The Journal of Symbolic Logic, vol. 55, no 1, , p. 346–346 (ISSN0022-4812 et 1943-5886, DOI10.2307/2274985, lire en ligne, consulté le )
doi.org
dx.doi.org
Martin Davis, « Gödel Kurt. Eine Interpretation des intuitionistischen Aussagenkalküls (1933f). A reprint of 41812. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 300, 302. Gödel Kurt. An interpretation of the intuitionistic propositional calculus (1933f). English translation by John Dawson of the preceding. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 301, 303. Troelstra A. S.. Introductory note to 1933f. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 296– 299. », The Journal of Symbolic Logic, vol. 55, no 1, , p. 346–346 (ISSN0022-4812 et 1943-5886, DOI10.2307/2274985, lire en ligne, consulté le )
issn.org
portal.issn.org
Martin Davis, « Gödel Kurt. Eine Interpretation des intuitionistischen Aussagenkalküls (1933f). A reprint of 41812. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 300, 302. Gödel Kurt. An interpretation of the intuitionistic propositional calculus (1933f). English translation by John Dawson of the preceding. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 301, 303. Troelstra A. S.. Introductory note to 1933f. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 296– 299. », The Journal of Symbolic Logic, vol. 55, no 1, , p. 346–346 (ISSN0022-4812 et 1943-5886, DOI10.2307/2274985, lire en ligne, consulté le )
stanford.edu
plato.stanford.edu
Rineke (L.C.) Verbrugge, The Stanford Encyclopedia of Philosophy, Metaphysics Research Lab, Stanford University, (lire en ligne)
