Cite
HARVARD Citation
PAULSON, L. (2014). A MACHINE-ASSISTED PROOF OF GÖDEL'S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS. Review of symbolic logic. 7 (3), pp. 484-498. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
PAULSON, L. (2014). A MACHINE-ASSISTED PROOF OF GÖDEL'S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS. Review of symbolic logic. 7 (3), pp. 484-498. [Online].