Lógica intuicionista I1: correção e completude
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Portuguese |
| Published: |
Lázaro, C. and Rodrigues, T.
2020-02-01
|
| Series: | CQD Revista Eletrônica Paulista de Matemática |
| Online Access: | https://www.fc.unesp.br/Home/Departamentos/Matematica/revistacqd2228/v17a01ic-logica-intuicionista-i1-correcao.pdf |