RUS
ENG
Полная версия
ЖУРНАЛЫ
// Вестник Московского университета. Серия 1: Математика. Механика
// Архив
Вестн. Моск. ун-та. Сер. 1. Матем., мех.,
1997
,
номер 1,
страницы
7–10
(Mi vmumm1838)
Математика
О количестве новых логических констант в интуиционистском исчислении высказываний
А. Д. Яшин
Аннотация:
Существует счетное семейство полных по П. С. Новикову распшрений интуиционистской логики высказываний с новой логической константой.
Ил. 2. Библиогр. 2.
УДК:
517.12
Поступила в редакцию:
11.10.1994
Полный текст:
PDF файл (541 kB)
Реферативные базы данных:
©
МИАН
, 2025