Аналитико-табличная формализация интуиционистского варианта логики первоуровнего следованиястатья