Autoformalization of the Knowledge, by Gregory Gromov (original) (raw)
�. �. ������ ���������������� ���������������� ������
 |
������������������ �������� � ��������, # 3 1986,c. 88 |  |
|---|
|
������������������ �������� � ��������, # 3 1986,c. 88 | |
|---|
�. �. ������ ���������������� ���������������� ������
|
������������������ �������� � ��������, # 3 1986,c. 88 | |
|---|
|
������������������ �������� � ��������, # 3 1986,c. 88 | |
|---|