Brian_Jaress2 comments on The Cartoon Guide to Löb’s Theorem

[Brian_Jaress2]

Larry D’Anna: Thanks, I think I understand the Deduction Theorem now.