О финитной аппроксимируемости суперинтуиционистких логик В.Я. Герчиу — 1972 Matematiceskie issledovanija