TY - BOOK AU - Vaananen Jouko TI - Models and games SN - 978-0-521-51812-3 U1 - 511.34 PY - 2011/// CY - Cambridge PB - CUP KW - Model theory ER -