- BR SPCLEARQ FAIA-Impr-IT525
- Item
- 1971-05
Part of Ayda Ignez Arruda
COSTA, Newton C.A. da. Remarques sur le système NF1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, maio 1971.
Untitled
3 results with digital objects Show results with digital objects
Part of Ayda Ignez Arruda
Untitled
Une sémantique pour le calcul C1
Part of Ayda Ignez Arruda
Untitled
Logique sans igalité et (k,p)-quasivalence
Part of Ayda Ignez Arruda
Untitled
Part of Joaquim da Costa Ribeiro
Untitled
Part of Joaquim da Costa Ribeiro
Untitled