Books on Logic and the Foundations of Mathematics