![](/img/cover-not-exists.png)
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 Oxford 1986, 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
Davis, MartinVolume:
55
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2274985
Date:
March, 1990
File:
PDF, 745 KB
english, 1990