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

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

Informações do exemplar	Informações do exemplar	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	Tombo: 1150010430 Ano: 1989 Suporte: 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	Tombo: 1150020122 Ano: 1989 Suporte: 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	Tombo: 1150010429 Ano: 1989 Suporte: Impresso	T/UNICAMP B96t	IFCH	Disponível

Terminal de consulta web