BR SPCLEARQ AIA-PIm-EL-7
·
Pièce
·
s.d.
Fait partie 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.
Sans titre