A Topological Application of Labelled Natural Deduction.

Tiago Mendonça Lucena de Veras Arthur F. Ramos Ruy J. G. B. de Queiroz Anjolina Grisi de Oliveira

Published in: CoRR (2019)

Keyphrases