Encyclopedia of Math Person

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

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

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

← author · 2

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