Spatial Logic

Richard Blackwell