Все метки

логика первого порядка

Тексты с этой меткой

1 текст

Статьи (PhilSci-Archive)

On variable non-dependence of first-order formulas

Koen Lefever, Gergely Székely, 2025

PDF · 24 стр. · английский

скачать открыть