[1]
Alonderis, R. 2017. Brodsky’s coding method for propositional logic. Lietuvos matematikos rinkinys. 58, A (Dec. 2017), 1–6. DOI:https://doi.org/10.15388/LMR.A.2017.01.