On Correctness of Mathematical Texts from a Logical and Practical Point of View.

Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich, Anatoly V. Anisimov

Browse the full AISC paper archive.