Musikaev I Kh

Publications in Math-Net.Ru

1. On dynamic theories of free algebras
   
   Mat. Sb., 180:3 (1989),  307–321
2. A nondeterministic program logic
   
   Sibirsk. Mat. Zh., 27:6 (1986),  157–162


3. Mikhail Abramovich Taitslin (1936–2013)
   
   Sib. Èlektron. Mat. Izv., 10 (2013),  54–65