Direct and converse theorems. The elements of symbolic logic. (Pri︠a︡mai︠a︡ i obratnai︠a︡ teoremy) /
Gradshteĭn, I. S.(Izrailʹ Solomonovich)
Oxford,
1963.