Fingerprint
Dive into the research topics of 'A Note on Gödel’s First Disjunct Formalised in DTK System'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A Note on Gödel’s First Disjunct Formalised in DTK System
Antonella Corradini*, Sergio Galvan
*Corresponding author
Research output: Contribution to journal › Article › peer-review