On the Irrationality of the Square Root of 2

John K. Slaney. On the Irrationality of the Square Root of 2. Australas. J. Log., 22(5):522-539, 2025. [doi]

Abstract

Abstract is missing.