Notre Dame Journal of Formal Logic

In memoriam: Evert Willem Beth (1909--1964).

Arend Heyting

Full-text: Open access

Article information

Source
Notre Dame J. Formal Logic Volume 7, Number 4 (1966), 289-295.

Dates
First available in Project Euclid: 31 August 2004

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

Zentralblatt MATH identifier
0159.00703

Mathematical Reviews number (MathSciNet)
MR0238665

Digital Object Identifier
doi:10.1305/ndjfl/1093958744

Subjects
Primary: 02.00

Citation

Heyting, Arend. In memoriam: Evert Willem Beth (1909--1964). Notre Dame Journal of Formal Logic 7 (1966), no. 4, 289--295. doi:10.1305/ndjfl/1093958744. http://projecteuclid.org/euclid.ndjfl/1093958744.


Export citation