The first-order hypothetical logic of proofs
- Gabriela Steren
- , Eduardo Bonelli
Research output: Contribution to journal › Article › peer-review
1
Scopus
citations