Showing 7 results

Archival description
Luiz Carlos Pereira
Print preview
Card view Table view
Dissertação
BR SPCLEARQ AMACL-AP-APesq-Or-IT042 · Item · 2008-01
Part of Andrea Maria Altino de Campos Loparic
Dissertação de mestrado de Luciano Vicente intitulada 'Incompletude da Aritmética do ponto de Vista dos Conceitos n', em 2008.
Comunicação
BR SPCLEARQ AMACL-AP-APesq-Or-IT044 digital · Item · 2012
Part of Andrea Maria Altino de Campos Loparic
Comunicação de Luciano Vicente na Associação Nacional de Pós-Graduação em Filosofia- Anpof 2012, intitulada ‘Outros resultados Gödelianos’. O arquivo digital veio nomeado do produtor como ‘LucianoAnpof2012’
Tese
BR SPCLEARQ AMACL-AP-APesq-Or-IT043 · Item · 2013
Part of Andrea Maria Altino de Campos Loparic
Tese de doutorado de Luciano Vicente intitulada 'Definições parciais de verdade e sistemas de acumulação na aritmética formal', em 2013.