Vladimir Yu. Sazonov. On Existence of Complete Predicate Calculus in Metamathematics without Exponentiation. In Jozef Gruska, Michal Chytil, editors, Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31 - September 4, 1981, Proceedings. Volume 118 of Lecture Notes in Computer Science, pages 483-490, Springer, 1981.
@inproceedings{Sazonov81, title = {On Existence of Complete Predicate Calculus in Metamathematics without Exponentiation}, author = {Vladimir Yu. Sazonov}, year = {1981}, tags = {completeness}, researchr = {https://researchr.org/publication/Sazonov81}, cites = {0}, citedby = {0}, pages = {483-490}, booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31 - September 4, 1981, Proceedings}, editor = {Jozef Gruska and Michal Chytil}, volume = {118}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-10856-4}, }