About

Formalisation en logique des prédicats des propositions aristotéliciennes typiques