logical geometry

research programme