- BR SPCLEARQ FAIA-Impr-IT489
- Unidad documental simple
- 1970-05-04
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Sur le syst¨¨me NF¦Ø. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1137 ¨C 1139, 4 maio 1970.
Sin título
3 resultados con objetos digitales Muestra los resultados con objetos digitales
Parte deAyda Ignez Arruda
Sin título
Sur les systèmes Nfi de da Costa
Parte deAyda Ignez Arruda
Sin título
Sur un Théorème de Hilbert et Bernays
Parte deAyda Ignez Arruda
Sin título
Sur une hiérarchies de systèmes formels
Parte deAyda Ignez Arruda
Sin título
Une sémantique pour le calcul C1
Parte deAyda Ignez Arruda
Sin título
Une sémantique pour le calcul C1=. C.R
Parte deAyda Ignez Arruda
Sin título