Text this: Galileo's Logic of Discovery and Proof :