RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Рубцова Наталья Михайловна
Публикации в базе данных Math-Net.Ru
Логика доказательств с операцией подстановки
Матем. заметки
,
82
:6 (2007),
905–915
©
МИАН
, 2024
