Algorifm mašinnogo poiska estestvennogo logičeskogo vyvoda v isčislenii vyskazyvanij /
Matematičeskaja logika i teorija algoritmov.
Matematičeskaja logika /
Matematičeskaja teorija sistem /
Matematičeskaja teorija nadežnosti /
Matematičeskaja teorija plastičnosti /
Matematičeskaja teorija planirovanija eksperimenta /
Matematičeskaja teorija procesov upravlenija.
Matematičeskaja teorija neodnorodnych gazov.
Matematičeskaja teorija gorenija i vzryva.
Teorija verojatnostej i matematičeskaja statistika.
Teorija verojatnostej i matematičeskaja statistika /
Teorija verojatnostej i matematičeskaja statistika. Vypusk 4. /
Čto takoje matematičeskaja logika? /
Matematičeskaja teorija optimal´nych procesov /
Matematičeskaja teorija konstruirovanija sistem upravlenij /
Matematičeskaja teorija optimal'nych procesov /
Matematičeskaja teorija sistemy sachara krovi /
Matematičeskaja teorija logičeskogo vyvoda : matematičeskaja logika i osnovanija matematiki /