Cuts and cut-elimination for complementary classical logic

Autor(es)
Walter Carnielli
Gabriele Pulcini
Créditos
Data
...

Cadernos de História e Filosofia da Ciência (CHFC)

COLEÇÃO CLE

Manuscrito - Revista Internacional de Filosofia

CLE"