Zur Begründung der intuitionistischen Mathematik. II

Mathematische Annalen - Tập 95 - Trang 453-472 - 2016
L. E. J. Brouwer1
1Amsterdam