How to show something is not: Proofs in formal language and computability theory.

Keith Harrow

Browse the full SIGCSE paper archive.