This gentle introduction to logic and model theory is based on a systematic use of three important games in logic: the semantic game; the Ehrenfeucht–Fraïss�

This volume introduces a general method for building infinite mathematical structures and surveys applications in algebra and model theory. It covers basic mode

Cooperative game theory is a booming research area with many new developments in the last few years. So, our main purpose when prep- ing the second edition was

Computational Models of Games describes a model of two person games - called a probabilistic game automaton - that unifies other important models that have been

"This book brings together the diverse and growing community of voices on ethics in gaming and begins to define the field, identify its primary challenges and q