| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
The joint seminar of the Sector 4.1 (IITP RAS) and Poncelet French-Russian laboratory "Arithmetic Geometry and Coding Theory"
|
|||
|
|
|||
|
Модальные логики элементарных классов шкал Крипке и теория соответствия S. P. Kikot' |
|||