Tauts A

Publications in Math-Net.Ru

1. Encoding of pseudoboolean models for infinitary nonclassical logic of transfinite order
   
   Sibirsk. Mat. Zh., 31:1 (1990),  150–160
2. Nonregular first order predicate calculus
   
   Algebra Logika, 8:1 (1969),  76–92