Mechanical theorem proving in the USSR; the Leningrad school