|
|
|
Publications in Math-Net.Ru |
Citations |
|
1990 |
| 1. |
A. Tauts, “Encoding of pseudoboolean models for infinitary nonclassical logic of transfinite order”, Sibirsk. Mat. Zh., 31:1 (1990), 150–160   ; Siberian Math. J., 31:1 (1990), 128–136  |
|
1969 |
| 2. |
A. Tauts, “Nonregular first order predicate calculus”, Algebra Logika, 8:1 (1969), 76–92  |
|
