Ebook: Критерий допустимости правил вывода с метапеременными в модальной логике S4.alphaN
Author: Руцкий А. Н.
- Genre: Математика // Математическая логика
- Series: Сибирский математический журнал т. 48 (2007) № 2 с. 396-407
- Year: 2007
- Language: Русский
- pdf
Download the book Критерий допустимости правил вывода с метапеременными в модальной логике S4.alphaN for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)