Sheaves, Games And Model Completions by Silvio Ghilardi & M. Zawadowski