Barraca Mairal, J. The Existence of God, in the Thinking of J. M. Méndez: In the Light of the Formalized Logic. revHUMAN 2023, 16, 1-9.