Alonderis, Romas. “Brodsky’s Coding Method for Propositional Logic”. Lietuvos matematikos rinkinys 58, no. A (December 15, 2017): 1–6. Accessed August 28, 2026. https://journals.vu.lt/LMR/article/view/14967.