Historical Archives - Centre for Logic, Epistemology and History of Science - Unicamp

Showing 4 results

Archival description

Print preview View:

Sort by:

Direction:

Sobre A Teoria dos Tipos

Sobre A Teoria dos Tipos

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

Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes

Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes

BR SPCLEARQ FAIA-PIm-A-IT361-IT361
Item

Part of Ayda Ignez Arruda

Curriculum vitae

Curriculum vitae

BR SPCLEARQ FAIA-DP-IT010
Item

Part of Ayda Ignez Arruda

Curriculum vitae de AIA. Ass.: Ayda Ignez Arruda.

Untitled

Memorial de Ayda Ignez Arruda

Memorial de Ayda Ignez Arruda

BR SPCLEARQ FAIA-DP-IT007
Item

Part of Ayda Ignez Arruda

Memorial de Ayda Ignez Arruda