Title: Galileo's Logic of Discovery and Proof