Could someone please supply a reference to a very pleasant paper by Henkin on the nature of mathematical induction (perhaps just on the natural numbers, I forget)? I think it was in JSL. Thank you. Charlie Silver