Kurt  Gödel. Collected Works. Volume 4: Correspondence, A–G. Edited by, Solomon  Feferman, John W.  Dawson, Jr., Warren  Goldfarb, Charles  Parsons, and Wilfried  Sieg. xix + 662 pp., frontis., illus., bibl., index. Oxford/New York: Oxford University Press, 2003. $110 (cloth).Kurt  Gödel. Collected Works. Volume 5: Correspondence, H–Z. Edited by, Solomon  Feferman, John W.  Dawson, Jr., Warren  Goldfarb, Charles  Parsons, and Wilfried  Sieg. xxiii + 664 pp., frontis., illus., bibl., index. Oxford/New York: Oxford University Press, 2003. $130 (cloth).

Isis ◽  
2004 ◽  
Vol 95 (1) ◽  
pp. 162-163
Author(s):  
Albert C. Lewis
Keyword(s):  
New York ◽  
Oxford University ◽  
Kurt Gödel ◽  
Warren Goldfarb ◽  
Oxford University Press

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
Keyword(s):  
New York ◽  
English Translation ◽  
Oxford University ◽  
Kurt Gödel ◽  
Introductory Note ◽  
Jean Van Heijenoort ◽  
Oxford University Press

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
Keyword(s):  
New York ◽  
English Translation ◽  
Philosophy Of Logic ◽  
Oxford University ◽  
Kurt Gödel ◽  
Introductory Note ◽  
Jean Van Heijenoort ◽  
Oxford University Press

Kurt Gödel. Über die Vollständigkeit des Logikkalküls (1929). 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. 60– 100. - Kurt Gödel. On the completeness of the calculus of logic (1929). English translation by Stefan Bauer-Mengelberg and Jean van Heijenoort 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, odd pp. 61– 101. - Kurt Gödel. Die Vollständigkeit der Axiome des logischen Funktionenkalküls (1930). A reprint of 4182. 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. 102– 122. - Kurt Gödel. The completeness of the axioms of the functional calculus of logic (1930). A reprint of XL 475 (English translation by Stefan Bauer-Mengelberg 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, odd pp. 103– 123. - Kurt Gödel. Über die Vollständigkeit des Logikkalküls (1930a). 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, p. 124. (Reprinted from Die Naturwissenschaften, vol. 18 (1930), p. 1068.) - Kurt Gödel. On the completeness of the calculus of logic (1930a). 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, p. 125. - Burton Dreben and Jean van Heijenoort. Introductory note to 1929, 1930 and 1930a. 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. 44– 59.

1990 ◽  
Vol 55 (1) ◽  
pp. 341-342
Author(s):  
Martin Davis
Keyword(s):  
New York ◽  
English Translation ◽  
Functional Calculus ◽  
Oxford University ◽  
Kurt Gödel ◽  
Introductory Note ◽  
Jean Van Heijenoort ◽  
Oxford University Press
Sign in / Sign up

Export Citation Format

Share Document