Weber, Z. 2024. True, Untrue, Valid, Invalid, Provable, Unprovable. Logic and Logical Philosophy. 34, 4 (Jan. 2024), 703–731. DOI:https://doi.org/10.12775/LLP.2024.008.