$$\newcommand{\bra}[1]{\left<#1\right|}\newcommand{\ket}[1]{\left|#1\right>}\newcommand{\bk}[2]{\left<#1\middle|#2\right>}\newcommand{\bke}[3]{\left<#1\middle|#2\middle|#3\right>}$$
X
INFORMAÇÕES SOBRE DIREITOS AUTORAIS


As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.

A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.

A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.

A violação de direitos autorais é passível de sanções civis e penais.
Estatísticas > Conteúdo - Acesso

Número: 58715 Tipo de Acesso: PÚBLICO
Título: CONSTRUINDO TABLEAUX PARA LÓGICA LINEAR INTUICIONISTA
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor: HUGO HOFFMANN BORGES
Colaborador(es): LUIZ CARLOS PINHEIRO DIAS PEREIRA - Orientador
Curso: PPG EM FILOSOFIA
Título Outorgado: MESTRE EM FILOSOFIA
Área: FILOSOFIA
Catalogação: 25/04/2022 Defesa: 11/03/2022 Idioma(s): PORTUGUÊS - BRASIL Países: 14 Visitas: 130 Partições: 1

  País  Visitas 
ALEMANHA6
ARGENTINA2
BRASIL56
CABO VERDE5
CHINA6
ESTADOS UNIDOS44
FINLANDIA3
FRANCA1
GRECIA1
10 HOLANDA1
11 PARAGUAI1
12 PORTUGAL1
13 RUSSIA2
14 SRI LANKA1
  Total Geral130
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui
    Senha Maxwell, clique aqui