Нажмите на ссылку Brouwer-excluded middle.pdf, чтобы просмотреть файл.