Notes on sheaves and logic'