On the scope of computability and formal axiomatic systems

Contributed by Jon Bohlin

Source files

Download source .zip

root fileCompletionOfComputationalAxiomaticSystems/revised_manuscript.tex · root file21 KiB · SHA-256 c93e03526952b05d… · view text

auxiliary fileCompletionOfComputationalAxiomaticSystems/Figure.png9.4 MiB · SHA-256 7d4a534eecfa3021… · raw download withheld by file policy

auxiliary fileCompletionOfComputationalAxiomaticSystems/references.bib2 KiB · SHA-256 e5766e4b647fbeb8… · view text

Back to the main record