Seminar of the sector 4.1 IITP RAS and Poncelet French-Russian laboratory
February 25 (Tuesday) 17:30, IUM, room 309
Denis Saveliev
On Ultralter Extensions of First-Order Models
17.02.2014 | |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
© Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2024 About | Contacts | Ïðîòèâîäåéñòâèå êîððóïöèè |