Jarmużek, T. and Pietruszczak, A. 2004. Completeness of Minimal Positional Calculus. Logic and Logical Philosophy. 13, 13 (Dec. 2004), 147–162. DOI:https://doi.org/10.12775/LLP.2004.009.