Transformadas no Cálculo Restrito de Predicados
- BR SPCLEARQ FAIA-Impr-IT505
- Item
- 1966-12,
Parte de Ayda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Transformadas no Cálculo Restrito de Predicados. Anais da Academia Brasileira de Ciências. Rio de Janeiro, v. 38, n. 3/4, p. 385-390, dez. 1966.
Ayda Ignez Arruda