Notre Dame Journal of Formal Logic

Review of K. Gödel's Collected works, Vol. II [Oxford Univ. Press, New York, 1990].

G. Kreisel

Full-text: Open access

Article information

Source
Notre Dame J. Formal Logic Volume 31, Number 4 (1990), 602-641.

Dates
First available in Project Euclid: 27 August 2004

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

Mathematical Reviews number (MathSciNet)
MR1085413

Digital Object Identifier
doi:10.1305/ndjfl/1093635594

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, G. Review of K. Gödel's Collected works, Vol. II [Oxford Univ. Press, New York, 1990]. Notre Dame Journal of Formal Logic 31 (1990), no. 4, 602--641. doi:10.1305/ndjfl/1093635594. http://projecteuclid.org/euclid.ndjfl/1093635594.


Export citation

See also

  • Review of book: Kurt Gödel. Collected works. Vol. II. Publications 1938-1974. Edited and with a preface by Solomon Feferman. The Clarendon Press, Oxford University Press, New York, 1990. xviii+407 pp.