Intuicionizm
Teorija dokazatel´stv /
Vvedenije v matematičeskuju logiku /
Osnovy sudebno-medicinskoj ekspertizy veščestvennych dokazatel´stv /
Matematičeskije traktaty /
Matematičeskije osnovy kibernetiki /
Matematičeskij akvarium /
Vvedenije v mikroskopičeskuju teoriju segnetoelektrikov /
Važnejšije problemy ocenki sudebnych dokazatel'stv v ugolovnom i graždanskom sudoproizvodstve /
Matematičeskije metody optimal´nogo upravlenija /
Matematičeskije metody v mikropaleontologii /
Matematičeskije osnovy teorii atoma /
Matematičeskij analiz : vtoroj special´nyj kurs /
Matematičeskij analiz /
Matematičeskij slovar´ /
Matematičeskij analiz. Rom 10 /
Matematičeskij analiz. časť 3, Integrirovanije differencial´nych uravnenij /
Matematičeskij analiz. Rom 13 /
Matematičeskij intuicionizm : vvedenije v teoriju dokazatel´stv /