1 paper
Andreas Blass, Yuri Gurevich
This article was written for the Logic in Computer Science column in the February 2015 issue of the Bulletin of the European Association for Theoretical Computer Science. The inten…