On sequential modifications of applied predicate calculi
- BR SPCLEARQ FAIA-Impr-IT557
- Unidad documental simple
- 1969
Parte deAyda Ignez Arruda
ROGAVA, M.G. On sequential modifications of applied predicate calculi. Semin. Math., V.A. Steklov Math. Inst. Leningrad 4, p.77-81, 1969.
Sin título