Grazyna Mirkowska. On the propositional algorithmic theory of arithmetic. In Andrzej Salwicki, editor, Logics of Programs and Their Applications, Proceedings, Poznan, August 23-29, 1980. Volume 148 of Lecture Notes in Computer Science, pages 166-185, Springer, 1980.
@inproceedings{Mirkowska80,
title = {On the propositional algorithmic theory of arithmetic},
author = {Grazyna Mirkowska},
year = {1980},
researchr = {https://researchr.org/publication/Mirkowska80},
cites = {0},
citedby = {0},
pages = {166-185},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, August 23-29, 1980},
editor = {Andrzej Salwicki},
volume = {148},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-11981-7},
}