WEBER, Zach. True, Untrue, Valid, Invalid, Provable, Unprovable. Logic and Logical Philosophy. Online. 29 January 2024. pp. 1-29. [Accessed 28 June 2025]. DOI 10.12775/LLP.2024.008.