Provas de normalização para a logica classica

Cosme Damião Bastos Massi

Material

TESE

Idioma

Português

Número de chamada

T/UNICAMP M385p

Publicação

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

Descrição física

109f. : il.

Nota geral

Orientador : Luiz Carlos P. D. Pereira

Nota de dissertação ou tese

Tese (doutorado) - Universidade Estadualde Campinas, Instituto de Filosofia e Ciencias Humanas

Resumo

Resumo: Não informado

Abstract: Not informed.

Assuntos

Lógica - Estudo e ensino

Filosofia

Autoria

Massi, Cosme Damião Bastos

Pereira, Luiz Carlos Pinheiro Dias, 1955- Orientador

Sites

Arquivos

Cosme Damião Bastos Massi

Cosme Damião Bastos Massi

Exemplar	Tombo	Ano	Suporte	Nº de chamada	Biblioteca	Situação
Tombo: 1150013301 Ano: 1990 Suporte: Impresso Nº de chamada: T/UNICAMP M385p Biblioteca: BCCL Situação: Não circula Visualizar QR Code	1150013301	1990	Impresso	T/UNICAMP M385p	BCCL	Não circula
Tombo: 1150017790 Ano: 1990 Suporte: Impresso Nº de chamada: T/UNICAMP M385p Biblioteca: CLE Situação: Disponível Visualizar QR Code	1150017790	1990	Impresso	T/UNICAMP M385p	CLE	Disponível
Tombo: 1150013452 Ano: 1990 Suporte: Impresso Nº de chamada: T/UNICAMP M385p Biblioteca: IFCH Situação: Disponível Visualizar QR Code	1150013452	1990	Impresso	T/UNICAMP M385p	IFCH	Disponível