N. M. Nagornyĭ

• K voprosu o neprotivorechivosti klassicheskoĭ formalʹnoĭ arifmetiki
• Markovskiĭ konstruktivizm v ri︠a︡de problem teoreticheskoĭ informatiki
• Voprosy matematicheskoĭ logiki i teorii algoritmov