RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив
Алгебра и логика. Семинар, 1966, том 5, номер 6, страницы 33–39 (Mi al1077)
Формальные выводы в исчислении строгой импликации

Л. Л. Максимова


Поступило: 05.10.1966



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

© МИАН, 2024