$$\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: PUBLIC
Título: BUILDING TABLEAUX FOR INTUITIONISTIC LINEAR LOGIC
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: GRADUATE PROGRAM IN PHILOSOPHY
Título Outorgado: MASTER IN PHILOSOPHY
Área: PHILOSOPHY
Catalogação: 25/04/2022 Defesa: 11/03/2022 Língua: PORTUGUESE - BRAZIL Países: 23 Visitas: 212 Partições: 1

  País  Visitas 
ANGOLA1
ARGENTINA2
BRAZIL93
CAMBODIA1
CAPE VERDE5
CHINA8
CZECH REPUBLIC1
FINLAND3
FRANCE5
10 GERMANY11
11 GREECE1
12 HONG KONG1
13 INDIA1
14 JAPAN2
15 NETHERLANDS1
16 PARAGUAY1
17 PORTUGAL1
18 RUSSIAN FEDERATION6
19 SINGAPORE1
20 SRI LANKA1
21 SWITZERLAND3
22 TIMOR-LESTE2
23 UNITED STATES61
  Total Geral212
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui