A Logical Approach to the Problem "P=NP?".

Vladimir Yu. Sazonov A Logical Approach to the Problem "P=NP?". 562-575 1980 conf/mfcs/1980 MFCS db/conf/mfcs/mfcs80.html#Sazonov80 http://dx.doi.org/10.1007/BFb0022533