Text this: Principles of logic and the use of digital geographic information systems /