Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa

Milton Augustinis de Castro

Material

TESE

Idioma

Português

ISBN

(Broch.)

Número de chamada

T/UNICAMP C279h

Publicação

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

Descrição física

307p. : il.

Nota geral

Orientador: Itala Maria Loffredo D'Ottaviano

Nota de dissertação ou tese

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

Assuntos

Costa, Newton Carneiro Affonso da, 1929-

Lógica - Estudo e ensino

Lógica simbólica e matemática

Lógica matemática não-clássica

Logica de primeira ordem

Autoria

Castro, Milton Augustinis de

D'Ottaviano, Itala Maria Loffredo, 1944- Orientador

Costa, Newton Carneiro Affonso da, 1929- Avaliador

Alves, Daniel Durante Pereira, 1968- Avaliador

Feitosa, Hercules de Araujo Avaliador

Sites

Arquivos

Milton Augustinis de Castro

Milton Augustinis de Castro

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: 1150063588 Ano: 2004 Suporte: Impresso Nº de chamada: T/UNICAMP C279h Biblioteca : BCCL Situação: Não circula Visualizar QR Code	Tombo: 1150063588 Ano: 2004 Suporte: Impresso	T/UNICAMP C279h	BCCL	Não circula
Tombo: 1150060752 Ano: 2004 Suporte: Impresso Nº de chamada: T/UNICAMP C279h Biblioteca : CLE Situação: Disponível Visualizar QR Code	Tombo: 1150060752 Ano: 2004 Suporte: Impresso	T/UNICAMP C279h	CLE	Disponível
Tombo: 1150063686 Ano: 2004 Suporte: Impresso Nº de chamada: T/UNICAMP C279h Biblioteca : IFCH Situação: Disponível Visualizar QR Code	Tombo: 1150063686 Ano: 2004 Suporte: Impresso	T/UNICAMP C279h	IFCH	Disponível

Terminal de consulta web