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