Beyond Gödel’s theorem: the failure to capture information content (1997)

by S B Cooper
Venue:In Complexity, Logic, and Recursion Theory