Indução de indemonstrabilidades e independências em Complexidade Computacional
Matsushigue, Claus Akira
Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2003-03-13
Acesso online. A biblioteca também possui exemplares impressos.