Lower bound results on lengths of second-order formulas

Article OPEN
Scarpellini, Bruno;
(1985)
Share - Bookmark