Line art portraits of logicians for the Open Logic Project - View it on GitHub