Showing 4 results

Archival description
René Pierre Maximilian Eduard Mazak
Print preview
Card view Table view
Dissertação
BR SPCLEARQ AMACL-AP-APesq-Or-IT024 · Item · 2010
Part of Andrea Maria Altino de Campos Loparic
Dissertação de mestrado de René Pierre Maximilian Eduard Mazak intitulada 'Um sistema de Gentzen para Cálculos com Identidades Parcial e Universos Abertos', defendida em 2010.
Trabalho
BR SPCLEARQ AMACL-AP-D-USP-IT009 · Item · s.d.
Part of Andrea Maria Altino de Campos Loparic
Trabalho de René Pierre Maximilian Eduard Mazak intitulado 'O método das valorações para cálculo proposicional implicativo intuicionista: uma restrição de 'A semantical study of some propositional calculi', de Andrea Loparic'.
Orientandos
BR SPCLEARQ AMACL-AP-APesq-Or · Series · 1994 - 2020
Part of Andrea Maria Altino de Campos Loparic
A série conta com projetos de pesquisa, relatório de atividades, dissertações e teses dos orientandos de Andrea Loparic. São eles: Silvia Altmann, Ana Maria Rodrigues da Costa, Júlio César Azevedo Custódio, Manuel Bauer Estivalet, Pedro Alonso Amaral Falcão, René Pierre Maximilian Eduard Mazak, Gilmar Moraes, Daisy Nunes de Rocha, Renato Soares Siqueira e Luciano Vicente.