Un Développement Des Systèmes Logiques de Stanislaw Lesniewski
-
nidottu
,
Ranska, 1984