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