Смелянский Дмитрий Михайлович

Доклады и лекции в базе данных Math-Net.Ru

1. Об аксиомах бесконечности и полноте теорий второго порядка
   Д. М. Смелянский
   Международная школа-семинар "Синтаксис и семантика логических систем"
   15 августа 2019 г. 15:00