The game of logic