Title: Five papers on logic and foundations
Subjects: Addresses, essays, lectures, Symbolic and mathematical Logic, Constructive mathematics