Benthem. Logical patterns in space (2002)

by M Aiello, J van
Venue:Words, Proofs, and Diagrams