|
Вестник Московского университета. Серия 1: Математика. Механика, 1997, номер 1, страницы 7–10
(Mi vmumm1838)
|
|
|
|
Математика
О количестве новых логических констант в интуиционистском исчислении высказываний
А. Д. Яшин
Аннотация:
Существует счетное семейство полных по П. С. Новикову распшрений интуиционистской логики высказываний
с новой логической константой.
Ил. 2. Библиогр. 2.
Поступила в редакцию: 11.10.1994
Образец цитирования:
А. Д. Яшин, “О количестве новых логических констант в интуиционистском исчислении высказываний”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1997, № 1, 7–10
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vmumm1838 https://www.mathnet.ru/rus/vmumm/y1997/i1/p7
|
|