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

Informações do exemplar	Informações do exemplar	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	Tombo: 1150004711 Ano: 1982 Suporte: 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	Tombo: 1150063991 Ano: 1982 Suporte: 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	Tombo: 1150037126 Ano: 1982 Suporte: 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	Tombo: 1150042425 Ano: 1982 Suporte: Impresso	T/UNICAMP C217s	IMECC	Retido (Aguardando baixa patrimonial)

Terminal de consulta web