Textes scientifiques sur  Lesniewski; Hintze; Formalsprachen;