RUS  ENG
Полная версия
ЖУРНАЛЫ // Вестник Московского университета. Серия 1: Математика. Механика // Архив
Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1991, номер 6, страницы 86–90 (Mi vmumm3934)
Краткие сообщения

О модальных логиках, консервативных над интуиционистским исчислением предикатов

П. Г. Наумов


УДК: 510.65

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



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

© МИАН, 2024