The previous page is sending you to https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-53/issue-1/On-the-Elementary-Theory-of-Restricted-Real-and-Imaginary-Parts/10.1215/00294527-1626527.pdf.

 If you do not want to visit that page, you can return to the previous page.