RUS  ENG
Полная версия
ЖУРНАЛЫ // Вестник Московского университета. Серия 1: Математика. Механика // Архив

Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1997, номер 1, страницы 7–10 (Mi vmumm1838)

Математика

О количестве новых логических констант в интуиционистском исчислении высказываний

А. Д. Яшин


Аннотация: Существует счетное семейство полных по П. С. Новикову распшрений интуиционистской логики высказываний с новой логической константой.
Ил. 2. Библиогр. 2.

УДК: 517.12

Поступила в редакцию: 11.10.1994



Реферативные базы данных:


© МИАН, 2025