Tractatio de praecognitionibus et praecognitis and Tractatio de demonstratione / Galileo Galilei ; transcribed from the Latin autograph by William F. Edwards ; with an introduction, notes and commentary by William A. Wallace