[SCC0593] - MATHEMATICAL LOGIC ([W006] - MATEMATICA)