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.
@inproceedings{Sazonov80:0,
title = {A Logical Approach to the Problem P=NP? },
author = {Vladimir Yu. Sazonov},
year = {1980},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/Sazonov80%3A0},
cites = {0},
citedby = {0},
pages = {562-575},
booktitle = {Mathematical Foundations of Computer Science 1980 (MFCS 80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980},
editor = {Piotr Dembinski},
volume = {88},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-10027-X},
}