Provas de normalização para a logica classica
AUTOR(ES)
Cosme Damião Bastos Massi
DATA DE PUBLICAÇÃO
1990
RESUMO
Not informed
ASSUNTO(S)
ACESSO AO ARTIGO
http://libdigi.unicamp.br/document/?code=vtls000029080Documentos Relacionados
- Normalização e normalização forte para a logica classica de primeira ordem
- N. A. Vasiliev e a logica não-classica
- Um formalismo de tetravetores para a mecânica clássica
- Sistemas de vetorizaÃÃo de fÃrmaco para comprimidos de liberaÃÃo clÃssica e prolongada a base de benznidazol
- Abstração de provas para explicação na web