ALONDERIS, R. Brodsky’s coding method for propositional logic. Lietuvos matematikos rinkinys, v. 58, n. A, p. 1–6, 15 Dec.2017.