Issledovanije logičeskich sistem (Nauka, 1970)