On sequential modifications of applied predicate calculi
- BR SPCLEARQ FAIA-Impr-IT557
- Item
- 1969
Part of Ayda 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.
Untitled