|
Алгебра и логика. Семинар, 1966, том 5, номер 6, страницы 33–39
(Mi al1077)
|
|
|
|
Формальные выводы в исчислении строгой импликации
Л. Л. Максимова
Поступило: 05.10.1966
Образец цитирования:
Л. Л. Максимова, “Формальные выводы в исчислении строгой импликации”, Алгебра и логика. Семинар, 5:6 (1966), 33–39
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1077 https://www.mathnet.ru/rus/al/v5/i6/p33
|
Статистика просмотров: |
Страница аннотации: | 52 | PDF полного текста: | 35 |
|