Khare, M.; Chitta, K. A Logical Approach to Validate the Goldbach Conjecture: Paper 1/3. J. Appl. Math. 2023, 1, 192.