Lógica intuicionista I1: correção e completude
| Autor: | Pedro Henrique Paiola, Hércules de Araujo Feitosa |
|---|---|
| Jazyk: | portugalština |
| Rok vydání: | 2020 |
| Předmět: | |
| Zdroj: | CQD Revista Eletrônica Paulista de Matemática, Vol 17 IC, Pp 1-11 (2020) |
| Druh dokumentu: | article |
| ISSN: | 2316-9664 |
| DOI: | 10.21167/cqdvol17ermacic202023169664phphaf0111 |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|