A irracionalidade e transcendência do número π - Oliveira, João Milton de [UNESP] (2013)