Jarmużek, Tomasz, and Andrzej Pietruszczak. 2004. “Completeness of Minimal Positional Calculus”. Logic and Logical Philosophy 13 (13):147-62. https://doi.org/10.12775/LLP.2004.009.