Sur certains hiérarchies de calculs de prédicats
- BR SPCLEARQ FAIA-Impr-IT485
- Item
- 1969-03-24
Part of Ayda 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.
Untitled