Lógica intuicionista I1: correção e completude
Na minha lista:
| Principais autores: | , |
|---|---|
| Formato: | Artigo |
| Idioma: | Português |
| Publicado em: |
UNESP
2020-02-01
|
| Colecção: | CQD Revista Eletrônica Paulista de Matemática |
| Acesso em linha: | https://www.fc.unesp.br/Home/Departamentos/Matematica/revistacqd2228/v17a01ic-logica-intuicionista-i1-correcao.pdf |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|