Book

Mechanical theorem proving in the USSR

by Vladimir Lifschitz