Sur certains hiérarchies de calculs de prédicats
- BR SPCLEARQ FAIA-Impr-IT485
- Unidad documental simple
- 1969-03-24
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Sur certains hiérarchies de calculs de prédicats. C.R. Acad. Sc. Paris, t.268, p. 629-632, 24 mar. 1969.
Sin título