logical geometry

talks