|
Известия Академии наук СССР. Серия математическая, 1968, том 32, выпуск 1, страницы 208–211
(Mi im2698)
|
|
|
|
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)
О расширении интуиционистского пропозиционального исчисления
до классического и минимального до интуиционистского
В. А. Янков
Аннотация:
Рассматриваются расширения интуиционистского и минимального
исчислений высказываний добавлением единственной формулы в качестве
новой аксиомы.
Поступило в редакцию: 31.05.1967
Образец цитирования:
В. А. Янков, “О расширении интуиционистского пропозиционального исчисления
до классического и минимального до интуиционистского”, Изв. АН СССР. Сер. матем., 32:1 (1968), 208–211; Math. USSR-Izv., 2:1 (1968), 205–208
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/im2698 https://www.mathnet.ru/rus/im/v32/i1/p208
|
|