Correspondane theory of truth - O'Connor D J (London Hutchinson, 1975)