TY  - RPRT
TI  - Proposition Algebra with Projective Limits
AU  - J. A. Bergstra
AU  - A. Ponse
PY  - 2010
DO  - 10.1145/1929954.1929958
UR  - https://arxiv.org/abs/0807.3648
ID  - 0807.3648
ER  -