Jensen, Anton. “Some Results Concerning a General Set Theoretical Approach to Logic”. MATHEMATICA SCANDINAVICA 16 (December 1, 1965): 5–24. Accessed May 4, 2024. https://www.mscand.dk/article/view/10742.