Вестн. Моск. ун-та. Сер. 1. Матем., мех.,
1984, номер 4, страницы 3–5
(Mi vmumm3380)
|
Математика
О дедуктивных возможностях безотрицательного исчисления предикатов
В. Н. Кривцов
Аннотация:
Установлен ряд дедуктивных свойств систем безотрицательного интуиционистского
исчисления предикатов.
Библиогр. 3.
УДК:
517.11
Поступила в редакцию: 09.04.1982
Реферативные базы данных:
© , 2024
Полный текст:
PDF файл (407 kB)