Logic and Games: an Introduction