Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
- BR SPCLEARQ FAIA-PIm-A-IT361-IT361
- Item
Part of Ayda Ignez Arruda
Showing 4 results
Archival description 
- BR SPCLEARQ FAIA-DP-IT010
- Item
Part of Ayda Ignez Arruda
Curriculum vitae de AIA. S.l. [1981].
Untitled
- BR SPCLEARQ FAIA-PIm-A-IT366
- Item
Part of Ayda Ignez Arruda
Artigo de AIA, intitulado Sobre A Teoria dos Tipos. S.l., S.d. S.ass. 7p. ms., dat.
Untitled
- BR SPCLEARQ FAIA-DP-IT007
- Item
Part of Ayda Ignez Arruda
Memorial de Ayda Ignez Arruda