On variable non-dependence of first-order formulas

Koen Lefever, Gergely Székely, 2025

PDF · 24 стр.