Matematičeskaja logika /
Matematičeskaja logika i teorija algoritmov.
Čto takoje matematičeskaja logika? /
Matematičeskaja logika. Dopolniteľnyje glavy.
Matematičeskaja logika v programmirovanii. : Matematičeskoje obespečenije EVM. Sbornik statej. /
Matematičeskaja logika i jeje primenenija : sbornik statej /
Matematičeskaja logika i aumatičeskoje dokazateľstvo teorem.
Vblizi absoljutnogo nulja /
Algebra i matematičeskaja logika. Algebraičeskije issledovanija. Mežvedomstvennyj sbornik.
Matematičeskaja teorija logičeskogo vyvoda : matematičeskaja logika i osnovanija matematiki /
Logika /
Matematičeskaja fizika. Vyp.17
Matematičeskaja fizika. Vyp.18
Matematičeskaja enciklopedija. [Tom] 2, D-Koo. /
Matematičeskaja enciklopedija [Tom] 1, A-G. /
Matematičeskaja smes´ /
Matematičeskaja biofyzika /
Matematičeskaja encyklopedija Tom 3 Koo-Od