Aspectos da eliminabilidade dos operadores nominais

Aspectos da eliminabilidade dos operadores nominais

Clara Helena Sanchez Botero

TESE

Português

T/UNICAMP Sa55a

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

65f. ; 32 cm.

Orientador: Newton C. A. da Costa

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

Resumo: Na presente tese apresenta-se uma descrição do sistema formal Lww(Ql, ee), sendo Lww a lógica de primeira ordem, Ql o quantificador generalizado de KEISLER e e o símbolo de HILBERT. Demonstra-se que o sistema é correto e completo e preserva a maioria das propriedades de teoria da prova e...

Abstract: Not informed.

Aspectos da eliminabilidade dos operadores nominais

Clara Helena Sanchez Botero


										

Aspectos da eliminabilidade dos operadores nominais

Clara Helena Sanchez Botero

    Exemplares