Arend Heyting.
Intuitionistic Views on the Nature of Mathematics //
Bolletina della Unione Matematica Italiana, Ser. IV, 1974, v. 9,
supp. 2, pp. 122-134. Перевод А. Дейнеки; распространяется на
условиях GNU General Public License версии 2 или, на Ваше
усмотрение, любой более поздней. См.
http://www.gnu.org/copyleft/gpl.html.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
