ritacole8724 ritacole8724 30-05-2023 Computers and Technology contestada how would proof by induction change in a language with global variables?