>And also how Russell have found Bettazzi? His reference to him seems to
>contradict to some extent the "largely unknown" claim above.
>
>
>Avinoam Mann
it may help to note that Russell was in touch with Peano's work and
Bettazzi was involved with the publication *Formulaire de mathe'matiques*,
in which, God help us, various bits of mathematics were to be completely
formalized in logical notation. I got this informnation from a translation
of a paper of Peano's, in whoich the name is given as `R. Betazzi' and am
assuming that this is a typo.
Bill Tait