Dve interpretacii logičeskich sistem - Celiščev, Vitalij Valentinovič, 1942- (Nauka, 1979)