Encounters between logic and games
Logical games
From Logic games to general game structure
Games as interactive processes in distributed computing.
Logic meets game theory
From Logic and Game theory to Theory of Play
Conclusion
Contents of this book