Handbook of Spatial Logics - Aiello, Marco; Benthem, Johan; Pratt-Hartmann, Ian.; SpringerLink (Online service) (Dordrecht : Springer, 2007)
Keywords: Logic, Symbolic and mathematical; Philosophy; Geometry