BR SPCLEARQ AIA-PIm-EL-7
·
Unidad documental simple
·
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.
Sin título