Sobre o metodo dos tableaux em logicas polivalentes finitarias

Walter Alexandre Carnielli

Material

TESE

Idioma

Português

Número de chamada

T/UNICAMP C217s

Publicação

Campinas, SP : [s.n.], 1982.

Descrição física

140f.

Nota geral

Orientador: Newton Carneiro Affonso da Costa

Nota de dissertação ou tese

Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação

Resumo

Resumo: Não informado.

Abstract: Not informed.

Assuntos

Lógica matemática não-clássica

Autoria

Carnielli, Walter Alexandre, 1952-

Costa, N. C. A. da Orientador

Costa, Newton Carneiro Affonso da, 1929- Orientador

Sites

Arquivos

Walter Alexandre Carnielli

Walter Alexandre Carnielli

Nº de exemplares: 4
Não existem reservas para esta obra

Exemplar	Tombo	Ano	Suporte	Nº de chamada	Biblioteca	Situação
Tombo: 1150004711 Ano: 1982 Suporte: Impresso Nº de chamada: T/UNICAMP C217s Biblioteca: BCCL Situação: Não circula Visualizar QR Code	1150004711	1982	Impresso	T/UNICAMP C217s	BCCL	Não circula
Tombo: 1150063991 Ano: 1982 Suporte: Impresso Nº de chamada: T/UNICAMP C217s Biblioteca: CLE Situação: Disponível Visualizar QR Code	1150063991	1982	Impresso	T/UNICAMP C217s	CLE	Disponível
Tombo: 1150037126 Ano: 1982 Suporte: Impresso Nº de chamada: T/UNICAMP C217s Biblioteca: IMECC Situação: Disponível Visualizar QR Code	1150037126	1982	Impresso	T/UNICAMP C217s	IMECC	Disponível
Tombo: 1150042425 Ano: 1982 Suporte: Impresso Nº de chamada: T/UNICAMP C217s Biblioteca: IMECC Situação: Retido (Aguardando baixa patrimonial) Visualizar QR Code	1150042425	1982	Impresso	T/UNICAMP C217s	IMECC	Retido (Aguardando baixa patrimonial)