Правила вывода с метапеременными и логические уравнения в предтабличной модальной логике PM1
Кияткин В. Р.Catégories:
Année:
2000
Langue:
russian
Pages:
10
Collection:
Сибирский математический журнал, т. 41 (2000), № 1, с. 88-97
Fichier:
PDF, 368 KB
IPFS:
,
russian, 2000