Game Development Reference
The issue of complexity of finding a Nash equilibrium has been a long
standing open problem, clarified only recently, see Daskalakis et al. 
for an account of these developments. Iterated elimination of strictly domi-
nated strategies and of weakly dominated strategies was introduced by Gale
 and Luce and Raiffa . The corresponding results summarised in
Theorems 1.3, 1.7, 1.16 and 1.19 are folklore results.
Apt  provides uniform proofs of various order independence results,
including the Order Independence Theorems 1.5 and 1.18. The computational
complexity of iterated elimination of strategies has been studied starting with
Knuth et al. , and with Brandt et al.  as a recent contribution.
There is a lot of work on formal aspects of common knowledge and of its
consequences for game theory. see, e.g., Aumann  and Battigalli and
1.9.2 Suggestions for further reading
Strategic games form a large research area and we have barely scratched its
surface. There are several other equilibria notions and various other types of
Many topics provide introductions to various areas of game theory, in-
cluding strategic games. Most of them are written from the perspective of
applications to Economics. In the 1990s the leading textbooks were Myer-
son , Binmore , Fudenberg and Tirole  and Osborne and
Moving to the next decade, Osborne  is an excellent, broad in its
scope, undergraduate level textbook, while Peters  is probably the best
topic on the market on the graduate level. Undeservedly less known is the
short and lucid Tijs . An elementary, short introduction, focusing on
the concepts, is Shoham and Leyton-Brown . In turn, Ritzberger 
is a comprehensive topic on strategic games that also extensively discusses
extensive games , i.e., games in which the players choose actions in turn.
Finally, Binmore  is a thoroughly revised version of Binmore .
Several textbooks on microeconomics include introductory chapters on
game theory, including strategic games. Two good examples are Mas-Collel
et al.  and Jehle and Reny . Finally, Nisan et al.  is a
recent collection of surveys and introductions to the computational aspects
of game theory, with a number of articles concerned with strategic games
and mechanism design.