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 game; and the model existence game. The... This description may be from another edition of this product.