JPRS (series). 2329. Mathematical logic and foundations of mathematics, USSR [with bibliography]; by S. A. Vanovskaya.

Tools