Open menu
G. Coray
Electronic Publishing '92
Validite dans les algebres de Boole partielles