JPRS (series). 6520. Mathematical logic as stage in development of formal logic, USSR; by A. L. Subbotin.