Category:Mistakes/Mathematical Logic for Computer Science

This category reports on mistakes in by Mordechai Ben-Ari.