Galileo's Logic of Discovery and Proof: The Background, Content, and Use of His Appropriated Treatises on Aristotle's Posterior Analytics (Boston Studies in the Philosophy and History of Science)