Opening book details…
About this Computer Science article
Kurt Gödel. Zur intuitionistischen Arithmetik und Zahlentheorie (1933e). A reprint of 41811. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, even pp. 286– 294. - Kurt Gödel. On… by Davis, Martin is a Computer Science article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Davis, Martin
- Publisher
- Association for Symbolic Logic; Cambridge University Press; Cambridge University Press (CUP) (ISSN 0022-4812)
- Published
- 1990
- Field
- Computer Science (Physical Sciences)