From Trotsky to Godel. The Life of Jean van Heijenoort

2002 ◽  
Vol 8 (1) ◽  
pp. 104
Author(s):  
H. B. Enderton ◽  
Anita Burdman Feferman
Keyword(s):  
Critique ◽  
1993 ◽  
Vol 20 (1) ◽  
pp. 197-198
Author(s):  
Alan Wald
Keyword(s):  

Nuncius ◽  
1987 ◽  
Vol 2 (2) ◽  
pp. 286-289
Author(s):  
MARCO SANTAMBROGIO
Keyword(s):  

Kurt Gödel. Review of Church's A set of postulates for the foundation of logic (3594). 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, pp. 256, 258. (Reprinted from Zentralblatt für Mathematik und ihre Grenzgebiete, vol. 4 (1932), pp. 145–146.) - Kurt Gödel. English translation by John Dawson of this review. 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, pp. 257, 259. - Kurt Gödel. Review of Church's A set of postulates for the foundation of logic (second paper) (3596). 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, pp. 380, 382. (Reprinted from Zentralblatt für Mathematik und ihre Grenzgebiete, vol. 8 (1934), p. 289.) - Kurt Gödel. English translation by John Dawson of this review. 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, pp. 381, 383. - Kurt Gödel. Review of Church's A proof of freedom from contradiction (3598). 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, pp. 398, 400. (Reprinted from Zentralblatt für Mathematik und ihre Grenzgebiete, vol. 12 (1936), pp. 241–242.) - Kurt Gödel. English translation by John Dawson of thisreview. 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, pp. 399, 401. - Stephen C. Kleene. Introductory note to 1932k, 1934e and 1936b. 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, pp. 256– 257.

1990 ◽  
Vol 55 (1) ◽  
pp. 345-345
Author(s):  
Martin Davis

Kurt Gödel. Diskussion zur Grundlegung der Mathematik (1931a). A reprint of 4184. 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, pp. 200, 202. - Kurt Gödel. Discussion on providing a foundation for mathematics (1931a). English translation by John Dawson of the preceding. 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, pp. 201, 203. (Reprinted from History and philosophy of logic, vol. 5 (1984), pp. 125-126.) - Kurt Gödel. Nachtrag. A reprint of 4185. 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, pp. 202, 204. - Kurt Gödel. Postscript. English translation by John Dawson of the preceding. 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, pp. 203, 205. (Reprinted from History and philosophy of logic, vol. 5 (1984), pp. 127-128.) - John W. Dawson Jr. Introductory note to 1931a, 1932e, f and g. 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, pp. 196– 199.

1990 ◽  
Vol 55 (1) ◽  
pp. 343-343
Author(s):  
Martin Davis

1995 ◽  
Vol 102 (2) ◽  
pp. 178
Author(s):  
Jeffrey Nunemacher ◽  
Anita Burdman
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document