A Logical Approach to the Problem P=NP?

Vladimir Yu. Sazonov. A Logical Approach to the Problem P=NP? . In Piotr Dembinski, editor, Mathematical Foundations of Computer Science 1980 (MFCS 80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980. Volume 88 of Lecture Notes in Computer Science, pages 562-575, Springer, 1980.

Abstract

Abstract is missing.