Jan A. Bergstra, Alban Ponse. Proposition Algebra with Projective Limits. CoRR, abs/0807.3648, 2008. [doi]
@article{abs-0807-3648, title = {Proposition Algebra with Projective Limits}, author = {Jan A. Bergstra and Alban Ponse}, year = {2008}, url = {http://arxiv.org/abs/0807.3648}, note = {informal publication}, tags = { algebra}, researchr = {https://researchr.org/publication/abs-0807-3648}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0807.3648}, }