ABSTRACT

Paper 18 consists of five previously unpublished manuscripts, 18a–e, on the theory of types, all but 18e written in late 1906 or in 1907.