Category:Mistakes/Mathematical Logic for Computer Science