Notre Dame Journal of Formal Logic

Book review: Collected works, Vol. I [Oxford Univ. Press, New York, 1986] by K. Gödel.

Georg Kreisel

Full-text: Open access

Article information

Source
Notre Dame J. Formal Logic Volume 29, Number 1 (1987), 160-181.

Dates
First available in Project Euclid: 27 August 2004

Permanent link to this document
http://projecteuclid.org/euclid.ndjfl/1093637780

Mathematical Reviews number (MathSciNet)
MR1085408

Digital Object Identifier
doi:10.1305/ndjfl/1093637780

Subjects
Primary: 01A60: 20th century
Secondary: 03-03: Historical (must also be assigned at least one classification number from Section 01) 03A05: Philosophical and critical {For philosophy of mathematics, see also 00A30}

Citation

Kreisel, Georg. Book review: Collected works, Vol. I [Oxford Univ. Press, New York, 1986] by K. Gödel. Notre Dame Journal of Formal Logic 29 (1987), no. 1, 160--181. doi:10.1305/ndjfl/1093637780. http://projecteuclid.org/euclid.ndjfl/1093637780.


Export citation

See also

  • Review of book: Kurt Gödel. Collected works. Vol. 1. Publications 1929-1936. Edited and with a preface by Solomon Feferman. The Clarendon Press, Oxford University Press, New York, 1986. xvi+474 pp.