A. V. Idelʹson

• Matematicheskai͡a︡ teorii͡a︡ logicheskogo vyvoda