TRANSFERÊNCIA INTERINSTITUCIONAL
2
0
0
Texto
Documentos relacionados
The family s 1 deals with the full propositional language, has a complete tableau proof system which provides for incremental approximations; furthermore, it constitutes a