Abstract

In the last seminar, on Episodes in Constructive Math, the Logicist school was mentioned. Though Logicism did not succeed, we inherited from it the logical theory of types.