Title: Mechanical theorem proving in the USSR
Subjects: Automatic theorem proving, Electronic digital computers
Places: Soviet Union