Teorias formais & informais : a noção de prova  e os teoremas de incompletude de Godel

Renato Busatto Neto

Material

DISSERTAÇÃO

Idioma

Português

Número de chamada

T/UNICAMP B96t

Publicação

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

Descrição física

131f. ; 31 cm.

Nota geral

Orientador: Carlos Alberto Lungarzo

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

Filosofia

Autoria

Busatto Neto, Renato

Lungarzo, Carlos Alberto, 1942- Orientador

Sites

Arquivos

Renato Busatto Neto

Renato Busatto Neto

Exemplar	Tombo	Ano	Suporte	Nº de chamada	Biblioteca	Situação
Tombo: 1150010430 Ano: 1989 Suporte: Impresso Nº de chamada: T/UNICAMP B96t Biblioteca: BCCL Situação: Não circula Visualizar QR Code	1150010430	1989	Impresso	T/UNICAMP B96t	BCCL	Não circula
Tombo: 1150020122 Ano: 1989 Suporte: Impresso Nº de chamada: T/UNICAMP B96t Biblioteca: CLE Situação: Disponível Visualizar QR Code	1150020122	1989	Impresso	T/UNICAMP B96t	CLE	Disponível
Tombo: 1150010429 Ano: 1989 Suporte: Impresso Nº de chamada: T/UNICAMP B96t Biblioteca: IFCH Situação: Disponível Visualizar QR Code	1150010429	1989	Impresso	T/UNICAMP B96t	IFCH	Disponível