Timofeeva Irina L

Publications in Math-Net.Ru

1. On proofs of properties of semirecursive sets
   
   Itogi Nauki i Tekhniki. Sovrem. Mat. Pril. Temat. Obz., 179 (2020),  73–77


2. Leonid Kulikov
   
   Fundam. Prikl. Mat., 17:8 (2012),  3–8
3. A Proof under a Microscope
   
   Math. Ed., 2003, no. 3(26),  44–58
4. On Logical Structure of Mathematical Definitions
   
   Math. Ed., 2002, no. 3(22),  75–85