On formulas in which no individual variable occurs more than twice

From MaRDI portal
Publication:5586243