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

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

Orientador : Luiz Carlos P. D. Pereira === Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas === Made available in DSpace on 2018-07-14T16:48:24Z (GMT). No. of bitstreams: 1 Massi_CosmeDamiaoBastos_M.pdf: 1123334 bytes, checksum: 84d7b2ad0e7b5c1f7b...

Full description

Bibliographic Details
Main Author: Massi, Cosme Damião Bastos
Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
Format: Others
Language:Portuguese
Published: [s.n.] 1988
Subjects:
Lógica - Estudo e ensino
Filosofia
Online Access:MASSI, Cosme Damião Bastos. Normalização e normalização forte para a logica classica de primeira ordem. 1988. 109f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/280980>. Acesso em: 14 jul. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/280980

Internet

MASSI, Cosme Damião Bastos. Normalização e normalização forte para a logica classica de primeira ordem. 1988. 109f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/280980>. Acesso em: 14 jul. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/280980

Similar Items