Complexidade Descritiva de Classes de Complexidade Probabilísticas de Tempo Polinomial e das Classes parity P e NP interseção coNP Através de Lógicas com Quantificadores Generalizados de Segunda Ordem - THIAGO ALVES ROCHA (2014)