http://www.maa.org/mathland/mathtrek_3_19_01.html informal description of the game itself, not much about how it's used in logic proofs.
This article is a substub, the first step on the way to becoming a full article. You can help by [ ṣlocalurl: : |action=edit}} expanding it].