The Ehrenfeucht Game
The Ehrenfeucht Game is a powerful tool for logicians but it can be an even more powerful tool for those with little knowledge of logic. The Game itself is defined without reference to Logic and the analysis of the game is combinatorial. Some basic bridging theorems allow one oftentimes to go from analysis of the Game to results about first order statements. Ehrenfeucht’s original paper  is a true classic.
Unable to display preview. Download preview PDF.