Normalização forte via ordinal natural

Daniel Durante Pereira Alves

Normalização forte via ordinal natural

Daniel Durante Pereira Alves

Material

TESE

Idioma

Português

ISBN

(Broch.)

Número de chamada

T/UNICAMP AL87n

Publicação

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

Descrição física

405 p.

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

Resumo

Resumo: Não informado

Abstract: Not informed.

Assuntos

Lógica simbólica e matemática

Filosofia

Cálculo de predicados

Matemática

Calculo lambda

Autoria

Alves, Daniel Durante Pereira, 1968-

D'Ottaviano, Itala Maria Loffredo, 1944- Orientador

Massi, Cosme Damião Bastos Avaliador

Pereira, Luiz Carlos Pinheiro Dias, 1955- Avaliador

Queiroz, Ruy de Avaliador

Carnielli, Walter Alexandre, 1952- Avaliador

Feitosa, Hercules de Araujo Avaliador

Coniglio, Marcelo Esteban, 1963- Avaliador

Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas. Programa de Pós-Graduação em Filosofia

Sites

DOI: https://doi.org/10.47749/T/UNICAMP.1999.168387

Arquivos

Texto completo pdf

Normalização forte via ordinal natural

Daniel Durante Pereira Alves

Normalização forte via ordinal natural

Daniel Durante Pereira Alves

Exemplares

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

Informações do exemplar	Informações do exemplar	Nº de chamada	Biblioteca	Localização	Situação	QR Code
Tombo: 1150039401 Ano: 1999 Suporte: Impresso Nº de chamada: T/UNICAMP AL87n Biblioteca : BCCL Situação: Não circula Visualizar QR Code	Tombo: 1150039401 Ano: 1999 Suporte: Impresso	T/UNICAMP AL87n	BCCL		Não circula
Tombo: 1150039427 Ano: 1999 Suporte: Impresso Nº de chamada: T/UNICAMP AL87n Biblioteca : IFCH Situação: Disponível Visualizar QR Code	Tombo: 1150039427 Ano: 1999 Suporte: Impresso	T/UNICAMP AL87n	IFCH		Disponível

Terminal de consulta web

Normalização forte via ordinal natural

Normalização forte via ordinal natural

Normalização forte via ordinal natural

Exemplares