Mezard - Information Physics and Computation Oxford 2009 & Kac - Mathematics and Logic Britannica 1968