Weber, Zach. “True, Untrue, Valid, Invalid, Provable, Unprovable”. Logic and Logical Philosophy 34, no. 4 (January 29, 2024): 703–731. Accessed February 1, 2026. https://apcz.umk.pl/LLP/article/view/42753.