ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Politics, Logic, and Love: The Life of Jean van Heijenoort.
American Mathematical Monthly
◽
10.2307/2975364
◽
1995
◽
Vol 102
(2)
◽
pp. 178
Author(s):
Jeffrey Nunemacher
◽
Anita Burdman
Keyword(s):
Jean Van Heijenoort
Download Full-text
Related Documents
Cited By
References
Review: Kurt Godel, Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort, Collected Works of Kurt Godel 1938-1974
Journal of Symbolic Logic
◽
10.2178/jsl/1183743754
◽
1991
◽
Vol 56
(3)
◽
pp. 1085-1089
Author(s):
Georg Kreisel
Keyword(s):
Kurt Gödel
◽
Jean Van Heijenoort
Download Full-text
Editor’s Introduction to Jean van Heijenoort, Historical Development of Modern Logic
Logica Universalis
◽
10.1007/s11787-012-0063-8
◽
2012
◽
Vol 6
(3-4)
◽
pp. 301-326
◽
Cited By ~ 1
Author(s):
Irving H. Anellis
Keyword(s):
Historical Development
◽
Modern Logic
◽
Jean Van Heijenoort
Download Full-text
Jean van Heijenoort (1912–1986)
Critique
◽
10.1080/03017609308413366
◽
1993
◽
Vol 20
(1)
◽
pp. 197-198
Author(s):
Alan Wald
Keyword(s):
Jean Van Heijenoort
Download Full-text
JEAN VAN HEIJENOORT, Selected Essays. Napoli, Bibliopolis 1985, 166 pp.
Nuncius
◽
10.1163/182539187x00259
◽
1987
◽
Vol 2
(2)
◽
pp. 286-289
Author(s):
MARCO SANTAMBROGIO
Keyword(s):
Jean Van Heijenoort
Download Full-text
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.
Journal of Symbolic Logic
◽
10.2307/2274980
◽
1990
◽
Vol 55
(1)
◽
pp. 345-345
Author(s):
Martin Davis
Keyword(s):
New York
◽
English Translation
◽
Oxford University
◽
Kurt Gödel
◽
Introductory Note
◽
Jean Van Heijenoort
◽
Oxford University Press
Download Full-text
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.
Journal of Symbolic Logic
◽
10.2307/2274976
◽
1990
◽
Vol 55
(1)
◽
pp. 343-343
Author(s):
Martin Davis
Keyword(s):
New York
◽
English Translation
◽
Philosophy Of Logic
◽
Oxford University
◽
Kurt Gödel
◽
Introductory Note
◽
Jean Van Heijenoort
◽
Oxford University Press
Download Full-text
Kurt Gödel. Review of Hahn's Reelle Funktionen. 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. 332– 336. (Reprinted from Monatshefte für Mathematik und Physik, vol. 40 (1933), Literaturberichte, pp. 20– 22.) - Kurt Gödel. English translation by John Dawson of this review. Reelle Funktionen, 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 odd pp. 333– 337.
Journal of Symbolic Logic
◽
10.2307/2274983
◽
1990
◽
Vol 55
(1)
◽
pp. 346-347
Author(s):
Martin Davis
Keyword(s):
New York
◽
English Translation
◽
Oxford University
◽
Kurt Gödel
◽
Jean Van Heijenoort
◽
Oxford University Press
Download Full-text
Anita Burdman Feferman. Politics, logic, and love. The life of Jean van Heijenoort. Jones and Bartlett Publishers, Boston and London, and A K Peters, Wellesley, Mass., 1993, xv + 415 pp. - Solomon Feferman. Jean van Heijenoort's scholarly work, 1948–1986. Therein, pp. 371–390.
Journal of Symbolic Logic
◽
10.2307/2275157
◽
1993
◽
Vol 58
(4)
◽
pp. 1465-1466
Author(s):
H. B. Enderton
Keyword(s):
Scholarly Work
◽
Jean Van Heijenoort
Download Full-text
Collected Works Volume I:Publications, 1929-1936. Kurt Godel , Solomon Feferman , John W. Dawson , Stephen C. Kleene , Gregory H. Moore , Robert M. Solovay , Jean van Heijenoort
Isis
◽
10.1086/354288
◽
1986
◽
Vol 77
(4)
◽
pp. 691-692
Author(s):
Joseph W. Dauben
Keyword(s):
Kurt Gödel
◽
Jean Van Heijenoort
Download Full-text
From Trotsky to Godel. The Life of Jean van Heijenoort
Bulletin of Symbolic Logic
◽
10.2307/2687744
◽
2002
◽
Vol 8
(1)
◽
pp. 104
Author(s):
H. B. Enderton
◽
Anita Burdman Feferman
Keyword(s):
Jean Van Heijenoort
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close