On the metamathematics of the P vs. NP question

Autor: da Costa, N.C.A., Doria, F.A., Bir, E.
Zdroj: In Applied Mathematics and Computation 2007 189(2):1223-1240
Databáze: ScienceDirect