ECS 220 6c:7.2-2 From undecidable problems to unprovable truths

From David Doty