Об интуиционистском исчислении высказываний с дополнительной логической связкойстатья

Работа с статьей


[1] Скворцов Д. П. Об интуиционистском исчислении высказываний с дополнительной логической связкой // Исследования по неклассическим логикам и формальным системам. — Наука Москва, 1983. — С. 154–173.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть