Showing 8 results

Archival description
Milton Augustinis de Castro
Print preview
Card view Table view
Artigo
BR SPCLEARQ AMACL-AP-APesq-PITER-IT007 · Item · s.d.
Part of Andrea Maria Altino de Campos Loparic
Artigo de Itala Maria Loffredo D'Ottaviano e Milton A. de Castro intitulado "On the Decidability of Da Costa's Paraconsistent Systems Cn and Cn*".
Prova
BR SPCLEARQ AMACL-AP-D-Unicamp-IT053 · Item · [1987-10-06]
Part of Andrea Maria Altino de Campos Loparic
Prova de Milton Augustinis de Castro da disciplina de Lógica [ministrada por Andrea Loparic] em 1987.
Artigo
BR SPCLEARQ AMACL-AP-APesq-PITER-IT006 · Item · s.d.
Part of Andrea Maria Altino de Campos Loparic
Artigo de Itala Maria Loffredo D'Ottaviano e Milton Augustinis de Castro intitulado "Analytical Tableaux for da Costa's Hierarchy of Propositional Paraconsistent Logics Cn, 1?n
Prova
BR SPCLEARQ AMACL-AP-D-Unicamp-IT075 · Item · s.d.
Part of Andrea Maria Altino de Campos Loparic
Prova substituta de Milton Augustinis de Castro da disciplina de Lógica [ministrada por Andrea Loparic] em 1987.
Artigo
BR SPCLEARQ AMACL-AP-APesq-PITER-IT008 · Item · 2009
Part of Andrea Maria Altino de Campos Loparic
Artigo de Itala Maria Loffredo D'Ottaviano e Milton Augustinis de Castro intitulado "Analytical Tableaux for da Costa's Paraconsistent Predicate Calculi Cn*".
Prova
BR SPCLEARQ AMACL-AP-D-Unicamp-IT021 · Item · 1987-06-02
Part of Andrea Maria Altino de Campos Loparic
Prova de Milton Augustinis de Castro da disciplina de Lógica [ministrada por Andrea Loparic] em 1987.
Prova
BR SPCLEARQ AMACL-AP-D-Unicamp-IT042 · Item · 1987-08-25
Part of Andrea Maria Altino de Campos Loparic
Prova de Milton Augustinis de Castro da disciplina de Lógica [ministrada por Andrea Loparic] em 1987.