Jump to main content

yr 〜
yr

Search results 3

Метаматематика элементарной математики

Метаматематика элементарной математики
Paper図書
Э. Энгелер ; перевод с немецкого Г.Е. Минца ; под редакцией А.О. СлисенкоМир1987
Other Libraries in Japan
  • Author HeadingEngeler, Erwin Mint︠s︡a, G. E. Slisenko, A. O.

Теория сложности вычислений : сборник работ

Теория сложности вычислений : сборник работ
Paper図書
под редакцией Д. Ю. ГригорьеваНаука1982-1989
Other Libraries in Japan
  • Author Heading...skoe otdelenie Slisenko, A. O.

Studies in constructive mathematics and mathematical logic

Studies in constructive mathematics and mathematical logic
Paper図書
Edited by A. O. SlisenkoConsultants Bureau1969-
Other Libraries in Japan
  • Author HeadingSlisenko, A. O.

Reached to the end of result.

RSS