IP List distribution Mordechai Ben-Ari. Mathematical Logic for Computer Science 3ed 2012, total 0