О фрагменте интуиционистской логики, полном относительно шкал Крипке с конечными областями
Шрайнер П.А.Категорії:
Рік:
2000
Мова:
russian
Сторінки:
10
Серії:
Сибирский математический журнал, т. 41 (2000), № 2, с. 470-479
Файл:
PDF, 352 KB
IPFS:
,
russian, 2000