CQD Revista Eletrônica Paulista de Matemática (Feb 2020)

Lógica intuicionista I1: correção e completude

Pedro Henrique Paiola,
Hércules de Araujo Feitosa

Affiliations

Pedro Henrique Paiola
Hércules de Araujo Feitosa

DOI: https://doi.org/10.21167/cqdvol17ermacic202023169664phphaf0111
Journal volume & issue: Vol. 17 IC
pp. 1 – 11

Abstract

No abstracts available.

Published in CQD Revista Eletrônica Paulista de Matemática

ISSN: 2316-9664 (Online)
Publisher: UNESP
Country of publisher: Brazil
LCC subjects: Science: Mathematics
Website: https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/index

About the journal