JPRS (series). 52621. Problems in semantic comparison of natural and mathematical logic languages, USSR [with bibliography]; by Ye. V. Paducheva.