Back and forth between algebraic geometry, algebraic logic, sheaves and forcing - Trek Sayed Ahmed (2018)