Nov 30: Undecidability proofs

From Jeff Erickson  

views comments