Smm

MaRDI QIDQ25225swMATHFDO

Official website http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=vngu&paperid=115&option_lang=eng

Described by source

• Smm, the simplified metamath

Cited in

(2)

• The language of formal mathematics Russell
• Russell

This page was built for software: Smm