| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
|
|||
|
Алгоритмическая выразительность неклассических предикатных логик, задаваемых классами шкал Крипке, не определимыми в логике первого порядка M. N. Rybakov Tver State University |
|||
|
|
|||
