Idel'son Aleksandr Vladimirovich

Publications in Math-Net.Ru

1. Notes on the calculi of constructive logic with subordinate variables and with the axiom of complete induction
   
   Trudy Mat. Inst. Steklov., 93 (1967),  106–112
2. Algorithms covering a given algorithm
   
   Trudy Mat. Inst. Steklov., 93 (1967),  89–105
3. The calculi of constructive logic with subordinate variables
   
   Trudy Mat. Inst. Steklov., 72 (1964),  228–343