The foundations of mathematics a study in the philosophy of science - Beth, Evert Willem 1908-1964 (North-Holland, 1968)