Foundation of mathematics - Stewart Ian; Tall David (1977)