Um estudo de C omega em calculo de sequentes e dedução natural

Um estudo de C omega em calculo de sequentes e dedução natural

Orientador: Itala Maria Loffredo D'Ottaviano === Tese (doutorado) - Universidade Estadual de Campinas,Instituto de Filosofia e Ciencias Humanas === Made available in DSpace on 2018-07-27T20:38:33Z (GMT). No. of bitstreams: 1 Moura_JoseEduardodeAlmeida_D.pdf: 6732549 bytes, checksum: bf228cc3830...

Full description

Bibliographic Details
Main Author: Moura, José Eduardo de Almeida
Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
Format: Others
Language:Portuguese
Published: [s.n.] 2001
Subjects:
Lógica simbólica e matemática
Lógica matemática não-clássica
Logica - Filosofia
Online Access:MOURA, José Eduardo de Almeida. Um estudo de C omega em calculo de sequentes e dedução natural. 2001. 159 p. Tese (doutorado) - Universidade Estadual de Campinas,Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/280385>. Acesso em: 27 jul. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/280385

Internet

MOURA, José Eduardo de Almeida. Um estudo de C omega em calculo de sequentes e dedução natural. 2001. 159 p. Tese (doutorado) - Universidade Estadual de Campinas,Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/280385>. Acesso em: 27 jul. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/280385

Similar Items