- BR SPCLEARQ AIA-PIm-EL-7
- Item
- s.d.
Parte de Ayda Ignez Arruda
Abstract, em inglês, de AIA, da palestra intitulada Implicative Systems and Modus Ponens Rule, apresentada no II Simpósio Latino Americano de Lógica Matemática. Brasília, jul. 1972. S.ass. 1p. dat.
Ayda Ignez Arruda