Матэнциклопедия Персона

Мартин-Лёф П.

http://libmeta.ru/resource/mathenc/author/a1419

Входящие связи

← автор · 2

Очерки по конструктивной математике Очерки по конструктивной математике