Proof and Knowledge in Mathematics by Taylor & Francis Ltd (Hardback, 1992)