Peirces game-theoretic ideas in logic · Study