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

 (​Parceiros/Partners)

CLE"