Philosophy of Mathematics books: Beth, Mendelson, Becker…