"Who Finds the Short Proof?" erschien im Logic Journal der IGPL

Unser aktueller Artikel mit dem Titel "Who Finds the Short Proof?" ist im Logic Journal of the IGPL erschienen, das von der Oxford University Press herausgegeben wird; siehe doi.org/10.1093/jigpal/jzac082