Αποδείξεις και ανασκευές η λογική της μαθηματικής ανακάλυψης - Lakatos, Imre (Τροχαλία, 1996)