Цахим шуудангийн бүртгэл: От формальной логики к истории науки