Ginisti, J. P. La Formation Des Notions En Logique Combinatoire. FPhil 1990, 33-47.