Um sistema de Gentzen para Cálculos com Identidade Parcial e Universos Abertos
Documento
- Visão geral
- Identidade
- Ver todos
Visão geral
produzido em
- Program of Graduate Study in Philosophy (M.A and Ph.D) Programa de Pós-Graduação
tipo
- master thesis
data de publicação
- 2010-01-01