ИСТИНА |
Войти в систему Регистрация |
|
ФНКЦ РР |
||
В докладе рассмотрены подходы различных авторов к исследованию теоретико-доказательственных свойств натуральных исчислений, содержащих в себе так называемые обобщенные правила вывода, описаны преимущества и недостатки таких систем.