Bisimulations in second-order arithmetic | Digital Library | PAMCET | PAMCET