Критерий допустимости правил вывода для некоторого класса S4-логик, не обладающих свойством ветвления

Author
Голованова Е. М.
Language
Russian
Year
2003
Page
11
File Type
pdf
File Size
471.8 KiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book