Normalização e normalização forte para a logica classica de primeira ordem

Cosme Damião Bastos Massi

Material

DISSERTAÇÃO

Idioma

Português

Número de chamada

T/UNICAMP M385n

Publicação

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

Descrição física

109f.

Nota geral

Orientador : Luiz Carlos P. D. Pereira

Nota de dissertação ou tese

Dissertação (mestrado) - Universidade Estadual de 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

Pereira, Pereira Carlos P. D. Orientador

Sites

Arquivos

Cosme Damião Bastos Massi

Cosme Damião Bastos Massi

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

Exemplar	Tombo	Edição	Ano	Volume	Suporte	Nº de chamada	Biblioteca	Localização	Situação	QR Code
Tombo: 1150010887 Ano: 1988 Suporte: Impresso Nº de chamada: T/UNICAMP M385n Biblioteca: BCCL Situação: Não circula Visualizar QR Code	1150010887		1988		Impresso	T/UNICAMP M385n	BCCL		Não circula
Tombo: 1150010886 Ano: 1988 Suporte: Impresso Nº de chamada: T/UNICAMP M385n Biblioteca: IFCH Situação: Disponível Visualizar QR Code	1150010886		1988		Impresso	T/UNICAMP M385n	IFCH		Disponível