Dve interpretacii logičeskich sistem - Celiščev, Vitalij Valentinovič; Bessonov, Aleksandr Vladimirovič (rz1, 1979)