SCHEME LOGICE de LEON LIVOVSCHI , 1980