Bulygin, E. Logique Et Analyse: No. 33. CRHF 1967, 1, 113-120.