$1'Y?!C!'T2!5$'a2 (B: s c - Lakatos, Imre; $1!0}!9]!_V(B. $1!@9!4g!@$!Bd!<y!:k'\9s ($1!0&!GW (B: s $1!0&!GW'YF!BX!3K!JH!Na(B, s, 1987)
Keywords: Mathematics Philosophy.Logic, Symbolic and mathematical