Alonderis, Romas. 2017. “Brodsky’s Coding Method for Propositional Logic”. Lietuvos Matematikos Rinkinys 58 (A): 1–6. https://doi.org/10.15388/LMR.A.2017.01.