| RUS ENG |
| Full version |
|
|
|
| VIDEO LIBRARY |
|
International workshop "Syntax and semantics of logical systems"
|
|||
|
|
|||
|
О математических работах А. И. Кокорина N. A. Peryazeva, S. F. Vinokurovb a Saint Petersburg Electrotechnical University "LETI" b Irkutsk State University |
|||